3 reload-unreload+=ThemeModules
4 # execute FuncFvwm(Un)ReloadColorsModules if colors is load-reload and modules
5 # need to be (only) reload-unreload
6 hints+=reload-unreload-ColorsModules
7 reload-read-command=*none*
8 option-read-afterward=1
11 option.name=Choose Pager
12 option.reload-read-command=*none*
14 option.value+file=desker
15 option.value.name=Desker
16 option.value+file=none
17 option.value.name=None
20 option.name=Choose Button Bar
21 option.reload-read-command=*none*
23 option.value+file=enabled
25 option.value+file=disabled
28 # There is a problem with IconBox and normal-icons: IconBox choice forces
29 # Style * NoIcon but do not set to "disabled" the modules/normal-icons choice.
30 # Also, it will be good to change the icon grid with the TaskBar.
31 # migo: I think "Window List" is a better name than "Application Manager".
33 option.name=Choose Window List Flavor
34 option.reload-read-command=*none*
36 option.value+file=GlobalIconMan
37 option.value.name=Global IconMan
38 option.value+file=DeskIconMan
39 option.value.name=Desk IconMan
40 option.value+file=PageIconMan
41 option.value.name=Page IconMan
42 option.value+file=GlobalTaskBar
43 option.value.name=Global TaskBar
44 option.value+file=DeskTaskBar
45 option.value.name=Desk TaskBar
46 option.value+file=HideGlobalTaskBar
47 option.value.name=Global TaskBar (Auto Hide)
48 option.value+file=HideDeskTaskBar
49 option.value.name=Desk TaskBar (Auto Hide)
50 option.value+file=GlobalWinList
51 option.value.name=Global WinList
52 option.value+file=DeskWinList
53 option.value.name=Desk WinList
54 option.value+file=GlobalIconBox
55 option.value.name=Global IconBox
56 option.value+file=DeskIconBox
57 option.value.name=Desk IconBox
58 option.value+file=none
59 option.value.name=None
61 option+file=normal-icons
62 option.name=Use Normal Icons
63 option.reload-read-command=*none*