3 reload-unreload+=ThemeModules
4 # see themes/default/modules.cfg
5 hints+=reload-unreload-ColorsModules
6 reload-read-command=*none*
7 option-read-afterward=1
10 #option.name=Choose Pager
12 #option.value+file=desker
13 #option.value.name=Desker
14 #option.value+file=none
15 #option.value.name=None
17 #option+file=buttonbar
18 #option.name=Choose Button Bar
20 #option.value+file=enabled
21 #option.value.name=Yes
22 #option.value+file=disabled
25 # There is a problem with IconBox and normal-icons: IconBox choice forces
26 # Style * NoIcon but do not set to "disabled" the modules/normal-icons choice.
27 # Also, it will be good to change the icon grid with the TaskBar.
29 #option.name=Choose Window List Flavor
31 #option.value+file=GlobalIconMan
32 #option.value.name=Global IconMan
33 #option.value+file=DeskIconMan
34 #option.value.name=Desk IconMan
35 #option.value+file=PageIconMan
36 #option.value.name=Page IconMan
37 #option.value+file=GlobalTaskBar
38 #option.value.name=Global TaskBar
39 #option.value+file=DeskTaskBar
40 #option.value.name=Desk TaskBar
41 #option.value+file=HideGlobalTaskBar
42 #option.value.name=Global TaskBar (Auto Hide)
43 #option.value+file=HideDeskTaskBar
44 #option.value.name=Desk TaskBar (Auto Hide)
45 #option.value+file=GlobalWinList
46 #option.value.name=Global WinList
47 #option.value+file=DeskWinList
48 #option.value.name=Desk WinList
49 #option.value+file=GlobalIconBox
50 #option.value.name=Global IconBox
51 #option.value+file=DeskIconBox
52 #option.value.name=Desk IconBox
53 #option.value+file=none
54 #option.value.name=None
56 option+file=normal-icons
57 option.name=Use Normal Icons
58 option.reload-read-command=*none*
66 option.name=Windows List
67 option.reload-read-command=*none*
69 option.value+file=DeskWinList
70 option.value.name=Desk WinList
71 option.value+file=GlobalWinList
72 option.value.name=Global WinList
73 option.value+file=disabled
74 option.value.name=Disabled