pad | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padAll | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padBottom | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
Paddable | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
Padded | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padded | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
Padding | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padLeft | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padLeftRight | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padNone | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padRight | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padTop | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
padTopBottom | Graphics.Vty.Widgets.Padding, Graphics.Vty.Widgets.All |
pageDown | Graphics.Vty.Widgets.List, Graphics.Vty.Widgets.All |
pageUp | Graphics.Vty.Widgets.List, Graphics.Vty.Widgets.All |
Percentage | Graphics.Vty.Widgets.Box, Graphics.Vty.Widgets.All |
PerChild | Graphics.Vty.Widgets.Box, Graphics.Vty.Widgets.All |
Phys | |
1 (Type/Class) | Graphics.Vty.Widgets.Util, Graphics.Vty.Widgets.All |
2 (Data Constructor) | Graphics.Vty.Widgets.Util, Graphics.Vty.Widgets.All |
plainText | Graphics.Vty.Widgets.Text, Graphics.Vty.Widgets.All |
plainTextWithAttrs | Graphics.Vty.Widgets.Text, Graphics.Vty.Widgets.All |
plusHeight | Graphics.Vty.Widgets.Util, Graphics.Vty.Widgets.All |
plusWidth | Graphics.Vty.Widgets.Util, Graphics.Vty.Widgets.All |
pressButton | Graphics.Vty.Widgets.Button, Graphics.Vty.Widgets.All |
ProgressBar | Graphics.Vty.Widgets.ProgressBar, Graphics.Vty.Widgets.All |