Vgrep.Widget.Pager

Pager widget

pagerWidget

type PagerWidget

Internal state

data Pager

Widget actions

moveToLine

scroll

scrollPage

hScroll

replaceBufferContents