|
|
|
|
| Synopsis |
|
|
|
| Documentation |
|
|
| A window onto a buffer.
|
|
|
| Constructors | | Window | | | isMini :: !Bool | regular or mini window?
| | bufkey :: !BufferRef | the buffer this window opens to
| | bufAccessList :: ![BufferRef] | list of last accessed buffers (former bufKeys). Last accessed one is first element
| | height :: Int | height of the window (in number of lines displayed)
| | winRegion :: Region | view area.
note that the top point is also available as a buffer mark.
| | wkey :: !WindowRef | identifier for the window (for UI sync)
|
|
| Instances | |
|
|
|
| Get the identification of a window.
|
|
|
|
|
| Return a fake window onto a buffer.
|
|
| Produced by Haddock version 2.6.1 |