yi-core-0.19.1: Yi editor core library
LicenseGPL-2
Maintaineryi-devel@googlegroups.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010
Extensions
  • TemplateHaskell
  • TemplateHaskellQuotes
  • DeriveDataTypeable

Yi.Window

Description

Operations on Windows, in the emacs sense of the word.

Synopsis

Documentation

data Window Source #

A window onto a buffer.

Constructors

Window 

Fields

  • 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 screen lines displayed)

  • width :: !Int

    width of the window (in number of chars)

  • 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) This is required for accurate scrolling. Scrolling depends on the actual number of buffer lines displayed. Line wrapping changes that number relative to the height so we can't use height for that purpose.

  • actualLines :: !Int

    The actual number of buffer lines displayed. Taking into account line wrapping

  • jumpList :: !JumpList
     

Instances

Instances details
Eq Window Source # 
Instance details

Defined in Yi.Window

Methods

(==) :: Window -> Window -> Bool #

(/=) :: Window -> Window -> Bool #

Show Window Source # 
Instance details

Defined in Yi.Window

Binary Window Source # 
Instance details

Defined in Yi.Window

Methods

put :: Window -> Put #

get :: Get Window #

putList :: [Window] -> Put #

MonadReader Window BufferM Source # 
Instance details

Defined in Yi.Types

Methods

ask :: BufferM Window #

local :: (Window -> Window) -> BufferM a -> BufferM a #

reader :: (Window -> a) -> BufferM a #

winkey :: Window -> (Bool, BufferRef) Source #

Get the identification of a window.

dummyWindow :: BufferRef -> Window Source #

Return a "fake" window onto a buffer.