Vgrep.Widget.Pager.Internal

Pager widget state

data Pager

Keeps track of the lines of text to display, the current scroll positions, and the set of highlighted line numbers.

Constructors

Pager

Fields

• _column :: Int

  The current column offset for horizontal scrolling

• _highlighted :: IntMap AnsiFormatted

  Set of line numbers that are highlighted (i.e. they contain matches)

• _above :: Seq Text

  Zipper: Lines above the screen

• _visible :: Seq Text

  Zipper: Lines on screen and below

Instances

Eq Pager

Defined in Vgrep.Widget.Pager.Internal

Methods

(==) :: Pager -> Pager -> Bool

(/=) :: Pager -> Pager -> Bool

Show Pager

Defined in Vgrep.Widget.Pager.Internal

Methods

showsPrec :: Int -> Pager -> ShowS

show :: Pager -> String

showList :: [Pager] -> ShowS

Lenses

position :: Getter Pager Int

The number of invisible lines above the screen

Auto-generated lenses

column :: Lens' Pager Int

above :: Lens' Pager (Seq Text)

visible :: Lens' Pager (Seq Text)

highlighted :: Lens' Pager (IntMap AnsiFormatted)