man PagerDecorations () - Visual attributes of the Pager window
NAME
PagerDecorations - Visual attributes of the Pager window
CONFIGURATION OPTIONS
- NoDeskLabel
Turns OFF desk's labeling
- NoPageSeparator
Turns OFF grid separating pages
- NoSelection
Turns highliting of the current page OFF
- SelectionColor
Turns ON highliting of the current page, and specifies color of hilighting
- GridColor
Specifies a different color than the fore color to draw grid lines. If this option is unused, then the same color specified with *PagerFore will be used for the grids.
- DeskBorderWidth
Specifies the width of the border to be drawn around each desk
- DeskBorderColor
Defines the color of the Desk's border. Use it to override default which is the style's foreground color
- LabelBelowDesk
This will place label below the desk instead of above the desk.
- HideInactiveLabels
When this option is specified - Pager will use shaped extensions to make label of all inactive desks transpar- ent.
- VerticalLabel
FIXME: add proper description here.