|
|
|
|
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 |