BORDERLESS
|
Import
|
2005-02-20 09:45:42 +00:00 |
BORDER_ONLY
|
Import
|
2005-02-20 09:45:42 +00:00 |
DEFAULT
|
Import
|
2005-02-20 09:45:42 +00:00 |
FIXED_SIZE
|
Import
|
2005-02-20 09:45:42 +00:00 |
ICONBOX
|
Import
|
2005-02-20 09:45:42 +00:00 |
MENU
|
Import
|
2005-02-20 09:45:42 +00:00 |
MENU_BORDER_ONLY
|
Import
|
2005-02-20 09:45:42 +00:00 |
PAGER
|
Import
|
2005-02-20 09:45:42 +00:00 |
RIGHT_PAGER
|
Import
|
2005-02-20 09:45:42 +00:00 |
SHAPED
|
Import
|
2005-02-20 09:45:42 +00:00 |
TRANSIENT
|
Import
|
2005-02-20 09:45:42 +00:00 |
common
|
Theme font configuration tweaks.
|
2005-07-17 21:39:58 +00:00 |
borders.cfg
|
Import
|
2005-02-20 09:45:42 +00:00 |