webmaster442.windowsterminal.wigets.pager - webmaster442/WindowsTerminal GitHub Wiki
Pager
Namespace: Webmaster442.WindowsTerminal.Wigets
Allows to display text in a paginated way
public class Pager : WigetBase
Inheritance Object → WigetBase → Pager Attributes NullableContextAttribute, NullableAttribute
Properties
IsShowing
Gets if the wiget is currently shown.
protected bool IsShowing { get; }
Property Value
IsAlternateBuffer
Gets if the wiget is currently shown in the alternate buffer.
protected bool IsAlternateBuffer { get; }
Property Value
Constructors
Pager(TextReader, PagerOptions)
Creates a new pager. The pager will read the text from the reader and paginate it
public Pager(TextReader reader, PagerOptions options)
Parameters
reader
TextReader
A Text reader that supplies the text
options
PagerOptions
Pager options
Pager(String, PagerOptions)
Creates a new pager. The pager will paginate the text
public Pager(string text, PagerOptions options)
Parameters
text
String
Text to paginate
options
PagerOptions
Pager options
Methods
OnHide()
Hides the pager
public void OnHide()
OnShow()
Shows the pager
public void OnShow()