Widget | Graphics.Vty.Widgets.Core, Graphics.Vty.Widgets.All |
WidgetImpl | |
1 (Type/Class) | Graphics.Vty.Widgets.Core, Graphics.Vty.Widgets.All |
2 (Data Constructor) | Graphics.Vty.Widgets.Core, Graphics.Vty.Widgets.All |
withAnnotations | Graphics.Vty.Widgets.DirBrowser, Graphics.Vty.Widgets.All |
withBorderAttribute | Graphics.Vty.Widgets.Borders, Graphics.Vty.Widgets.All |
withBorderedLabel | Graphics.Vty.Widgets.Borders, Graphics.Vty.Widgets.All |
withBoxSpacing | Graphics.Vty.Widgets.Box, Graphics.Vty.Widgets.All |
withFocusAttribute | Graphics.Vty.Widgets.Core, Graphics.Vty.Widgets.All |
withHBorderLabel | Graphics.Vty.Widgets.Borders, Graphics.Vty.Widgets.All |
withHeight | Graphics.Vty.Widgets.Util, Graphics.Vty.Widgets.All |
withNormalAttribute | Graphics.Vty.Widgets.Core, Graphics.Vty.Widgets.All |
withPadding | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
withWidth | Graphics.Vty.Widgets.Util, Graphics.Vty.Widgets.All |
wrap | Graphics.Vty.Widgets.Text, Graphics.Vty.Widgets.All |
wrapStream | Text.Trans.Tokenize |
WS | Text.Trans.Tokenize |