1{
2  Panel = {
3    Menu = {
4      Info = "Menu";
5      Icon = "menu.xpm";
6      Type = SINGLE;
7      };
8    Appearance = {
9      Info = "Appearance";
10      Icon = "appearance.xpm";
11      Type = {
12        Workspace = {
13          Info = "Workspace";
14	  Icon = "workspace.xpm";
15          Type = SINGLE;
16	  };
17        Tiles = {
18          Info = "Tiles";
19	  Icon = "tiles.xpm";
20          Type = {
21            Icons = {
22              Info = "Dock and Clip";
23              Type = SINGLE;
24              };
25            Miniwindows = {
26              Info = "Miniwindows";
27              Type = SINGLE;
28            };
29          };
30        };
31        Windows = {
32          Info = "Windows";
33	  Icon = "titlebar.xpm";
34          Type = {
35            Focused = {
36              Info = "Focused titlebar";
37              Type = SINGLE;
38            };
39            Unfocused = {
40              Info = "Unfocused titlebar";
41              Type = SINGLE;
42            };
43            Parent = {
44              Info = "Parent titlebar";
45              Type = SINGLE;
46            };
47            Resizebar = {
48              Info = "Resizebar";
49              Type = SINGLE;
50            };
51            Widget = {
52              Info = "Titlebuttons";
53              Type = SINGLE;
54            };
55          };
56        };
57        Menu = {
58          Info = "Menu";
59	  Icon = "menustyle.xpm";
60          Type = {
61            Title = {
62              Info = "Menutitle";
63              Type = SINGLE;
64              };
65            Text = {
66              Info = "Menuitem";
67              Type = SINGLE;
68              };
69          };
70        };
71      };
72    };
73    Themes = {
74      Info = "Themes";
75      Icon = "themes.xpm";
76      Type = SINGLE;
77    };
78    Shortcuts = {
79       Info = "Shortcuts";
80       Icon = "shortcuts.xpm";
81       Type = SINGLE;
82    };
83    Mouse = {
84       Info = "Mouse";
85       Type = SINGLE;
86       Icon = "mouse.xpm";
87    };
88    Windows = {
89       Info = "Window\nhandling";
90       Type = SINGLE;
91       Icon = "windows.xpm";
92    };
93    Workspace = {
94       Info = "Workspace";
95       Type = SINGLE;
96       Icon = "desktop.xpm";
97    };
98    Effects = {
99       Info = "Special\neffects";
100       Type = SINGLE;
101       Icon = "effects.xpm";
102    };
103    Paths = {
104       Info = "Paths";
105       Icon = "paths.xpm";
106       Type = SINGLE;
107    };
108    Misc = {
109       Info = "Misc";
110       Type = SINGLE;
111       Icon = "misc.xpm";
112	 };
113  };
114  WindowMaker = {
115    NoWindowUnderDock = {
116      Type = Bool;
117      Group = "Windows";
118      Title = "Prevent windows from getting themselves under the dock when maximized";
119      Default = No;
120      Range = ();
121    };
122    NoWindowOverIcons = {
123      Type = Bool;
124      Group = "Windows";
125      Title = "Prevent windows from overlapping minimized windows when maximized";
126      Default = No;
127      Range = ();
128    };
129    OpenTransientOnOwnerWorkspace = {
130      Type = Bool;
131      Group = "Windows";
132      Title = "Open dialog windows on the workspace of the owner rather than on the current workspace";
133      Default = No;
134      Range = ();
135    };
136    CirculateRaise = {
137      Type = Bool;
138      Group = "Windows";
139      Title = "Raise windows as you cycle through them using the keyboard";
140      Default = No;
141      Range = ();
142    };
143    WindozeCycling = {
144      Type = Bool;
145      Group = "Windows";
146      Title = "Use the Windoze style when cycling through windows with the `focus next window' shortcut";
147      Default = No;
148      Range = ();
149    };
150    PopupSwitchMenu = {
151      Type = Bool;
152      Group = "Windows";
153      Title = "Popup the window list as you cycle through windows (only if Windoze cycling is enabled)";
154      Default = No;
155      Range = ();
156    };
157    AutoFocus = {
158      Type = Bool;
159      Group = "Windows";
160      Title = "Automatically give focus to a window when it is mapped";
161      Default = Yes;
162      Range = ();
163    };
164    FocusMode = {
165      Type = String;
166      Group = "Windows";
167      Title = "Window Focus Mode: ";
168      Default = Manual;
169      Range = (SemiAuto, Manual);
170      RangeInfo = ("The window currently being pointed to has focus (sloppy focus)", "Click on the window to focus it");
171      };
172    RaiseDelay = {
173      Type = Int;
174      Group = "Windows";
175      Title = "Delay in milliseconds before a newly focused window is raised: ";
176      Default = 0;
177      Range = (0, 2048);
178    };
179    ColormapMode = {
180      Type = String;
181      Group = "Windows";
182      Title = "Which application should get the most colors: ";
183      Default = Auto;
184      Range = (Auto, Manual);
185      RangeInfo = ("The window currently being pointed to", "The window clicked onto");
186    };
187    WindowPlacement = {
188      Type = String;
189      Group = "Windows";
190      Title = "How to place newly mapped windows: ";
191      Default = Cascade;
192      Range = (Cascade, Auto, Smart, Manual, Random);
193      RangeInfo = ("Use a cascading effect", "Place window in the free space", "Place window in the best free space", "Let user place the window manually", "Place window at a random position");
194    };
195    WindowPlaceOrigin = {
196      Type = Int;
197      Group = "Windows";
198      Title = "Offset (x, y) between windows in cascade placement mode: ";
199      Default = (64, 64);
200      Range = (0, 256, 0, 256);
201    };
202    AdvanceToNewWorkspace = {
203      Type = Bool;
204      Group = "Workspace";
205      Title = "Generate a new workspace when trying to advance from the last workspace";
206      Default = Yes;
207      Range = ();
208    };
209    CycleWorkspaces = {
210      Type = Bool;
211      Group = "Workspace";
212      Title = "Jump to the first workspace when trying to advance from the last workspace (and vice-versa)";
213      Default = No;
214      Range = ();
215    };
216    DontLinkWorkspaces = {
217      Type = IBool;
218      Group = "Workspace";
219      Title = "Automatically switch to next/previous workspace when dragging a window to the screen edge";
220      Default = No;
221      Range = ();
222    };
223    DisableClip = {
224      Type = IBool;
225      Group = "Workspace";
226      Title = "Open application clip on startup (startup option)";
227      Default = No;
228      Range = ();
229    };
230    DisableDock = {
231      Type = IBool;
232      Group = "Workspace";
233      Title = "Open application dock on startup (startup option)";
234      Default = No;
235      Range = ();
236    };
237    DisableMiniwindows = {
238      Type = IBool;
239      Group = "Workspace";
240      Title = "Show minimized windows (startup option)";
241      Default = No;
242      Range = ();
243    };
244    AutoArrangeIcons = {
245      Type = Bool;
246      Group = "Workspace";
247      Title = "Automatically arrange minimized windows if required";
248      Default = No;
249      Range = ();
250    };
251    StickyIcons = {
252      Type = IBool;
253      Group = "Workspace";
254      Title = "Show minimized windows only on the workspace on which they have been minimized";
255      Default = No;
256      Range = ();
257    };
258    DisableBlinking = {
259      Type = IBool;
260      Group = "Workspace";
261      Title = "Show marching ants animation when minimized windows are selected";
262      Default = No;
263      Range = ();
264    };
265    Attraction = {
266      Type = Bool;
267      Group = "Workspace";
268      Title = "Attract a window by the borders of visible windows (or screen) when moved";
269      Default = No;
270      Range = ();
271    };
272    EdgeResistance = {
273      Type = Int;
274      Group = "Workspace";
275      Title = "Resistance against moving windows off the screen: ";
276      Default = 0;
277      Range = (0, 256);
278    };
279    WorkspaceBorderSize = {
280      Type = String;
281      Group = "Workspace";
282      Title = "Thickness of workspace border (not covered by windows): ";
283      Default = 0;
284      Range = (0, 1, 2, 3, 4, 5);
285      RangeInfo = ("no border", "1 pixel", "2 pixels", "3 pixels", "4 pixels", "5 pixels");
286    };
287    WorkspaceBorder = {
288      Type = String;
289      Group = "Workspace";
290      Title = "Position of workspace border: ";
291      Default = None;
292      Range = (LeftRight, TopBottom, AllDirections);
293      RangeInfo = ("left and right screen side", "bottom and top screen side", "all screen sides");
294    };
295    IconPosition = {
296      Type = String;
297      Group = "Workspace";
298      Title = "Orientation and position of icon box: ";
299      Default = blh;
300      Range = (tlh, trh, blh, brh, tlv, trv, blv, brv);
301      RangeInfo = ("Horizontal in the top left corner", "Horizontal in the top right corner", "Horizontal in the bottom left corner", "Horizontal in the bottom right corner", "Vertical in the top left corner", "Vertical in the top right corner", "Vertical in the bottom left corner", "Vertical in the bottom right corner");
302    };
303    IconSize = {
304      Type = String;
305      Group = "Workspace";
306      Title = "Size of icons (startup option): ";
307      Default = 64;
308      Range = (24, 32, 40, 48, 56, 64, 72, 80, 88, 96);
309      RangeInfo = ("24x24", "32x32", "40x40", "48x48", "56x56", "64x64", "72x72", "80x80", "88x88", "96x96");
310    };
311    WorkspaceNameDisplayPosition = {
312      Type = String;
313      Group = "Workspace";
314      Title = "Position of workspace name indicator: ";
315      Default = Center;
316      Range = (None, Center, Top, Bottom, Topleft, Topright,
317	       Bottomleft, Bottomright);
318      RangeInfo = ("Not visible", "Center of screen", "Top of screen", "Bottom of screen", "Top left corner", "Top right corner", "Bottom left corner", "Bottom right corner");
319    };
320    IgnoreFocusClick = {
321      Type = IBool;
322      Group = "Mouse";
323      Title = "Let application receive the mouse click that causes its window to focus";
324      Default = No;
325      Range = ();
326    };
327    DisableWSMouseActions = {
328      Type = Bool;
329      Group = "Mouse";
330      Title = "Pass a root window mouse click on to a filemanager rather than to Window Maker";
331      Default = No;
332      Range = ();
333    };
334    MouseLeftButtonAction = {
335      Type = String;
336      Group = "Mouse";
337      Title = "When left mouse button is pressed: ";
338      Default = Left;
339      Range = (None, SelectWindows, OpenWindowListMenu, OpenApplicationsMenu);
340      RangeInfo = ("Do nothing", "Select multiple windows",
341                   "Pop up the window list", "Pop up the application menu");
342    };
343    MouseMiddleButtonAction = {
344      Type = String;
345      Group = "Mouse";
346      Title = "When middle mouse button is pressed: ";
347      Default = Left;
348      Range = (None, SelectWindows, OpenWindowListMenu, OpenApplicationsMenu);
349      RangeInfo = ("Do nothing", "Select multiple windows",
350                   "Pop up the window list", "Pop up the application menu");
351    };
352    MouseRightButtonAction = {
353      Type = String;
354      Group = "Mouse";
355      Title = "When right mouse button is pressed: ";
356      Default = Left;
357      Range = (None, SelectWindows, OpenWindowListMenu, OpenApplicationsMenu);
358      RangeInfo = ("Do nothing", "Select multiple windows",
359                   "Pop up the window list", "Pop up the application menu");
360    };
361    MouseWheelAction = {
362      Type = String;
363      Group = "Mouse";
364      Title = "When the mouse wheel is used: ";
365      Default = Left;
366      Range = (None, SwitchWorkspaces);
367      RangeInfo = ("Do nothing", "Switch to next or previous workspace");
368    };
369    DoubleClickTime = {
370      Type = Int;
371      Group = "Mouse";
372      Title = "Maximum delay between the two clicks of a double click: ";
373      Default = 250;
374      Range = (0, 2048);
375    };
376    WindowTitleBalloons = {
377      Type = Bool;
378      Group = "Effects";
379      Title = "Show balloons for partly visible window titles";
380      Default = Yes;
381      Range = ();
382    };
383    AppIconBalloons = {
384      Type = Bool;
385      Group = "Effects";
386      Title = "Show balloons for application icons (docked or not)";
387      Default = No;
388      Range = ();
389    };
390    MiniwindowTitleBalloons = {
391      Type = Bool;
392      Group = "Effects";
393      Title = "Show balloons for title of minimized window";
394      Default = No;
395      Range = ();
396    };
397    OpaqueMove = {
398      Type = Bool;
399      Group = "Effects";
400      Title = "Show window contents rather than outline only when moving a window";
401      Default = No;
402      Range = ();
403    };
404    Superfluous = {
405      Type = Bool;
406      Group = "Effects";
407      Title = "Show several special effects that bloat and slow down Window Maker";
408      Default = No;
409      Range = ();
410    };
411    DisableAnimations = {
412      Type = IBool;
413      Group = "Effects";
414      Title = "Show animations such as the minimize and shade animation";
415      Default = No;
416      Range = ();
417    };
418    SmoothWorkspaceBack = {
419      Type = Bool;
420      Group = "Workspace";
421      Title = "Smooth workspace background images after scaling";
422      Default = No;
423      Range = ();
424    };
425    ResizeDisplay = {
426      Type = String;
427      Group = "Effects";
428      Title = "Style of geometry box when resizing the window: ";
429      Default = Corner;
430      Range = (None, Corner, Center, Floating, Line);
431      RangeInfo = ("No geometry box", "Appears in the top left corner of the screen", "Appears in the screen center", "Keeps with the window", "No box - use technical drawing like lines");
432    };
433    MoveDisplay = {
434      Type = String;
435      Group = "Effects";
436      Title = "Style of geometry box when moving the window: ";
437      Default = Corner;
438      Range = (None, Corner, Center, Floating, Line);
439      RangeInfo = ("No geometry box", "Appears in the top left corner of the screen", "Appears in the screen center", "Keeps with the window", "No box - use technical drawing like lines");
440    };
441    IconificationStyle = {
442      Type = String;
443      Group = "Effects";
444      Title = "Style of miniaturization animation: ";
445      Default = Zoom;
446      Range = (Zoom, Twist, Flip, Random, None);
447      RangeInfo = ("Window is zoomed", "Window is twisted", "Window is flipped", "Window is zoomed, twisted, or flipped (random choice)", "No animation");
448    };
449    MenuStyle = {
450      Type = String;
451      Group = "Effects";
452      Title = "Style of the menu texture: ";
453      Default = normal;
454      Range = (Normal, SingleTexture, Flat);
455      RangeInfo = ("One texture per item", "A single texture spanning the whole menu", "A single texture without bevels spanning the whole menu");
456    };
457    TitleJustify = {
458      Type = String;
459      Group = "Effects";
460      Title = "Justification of text in window title bars: ";
461      Default = Center;
462      Range = (Left, Center, Right);
463      RangeInfo = ("Left", "Center", "Right");
464    };
465    MenuScrollSpeed = {
466      Type = String;
467      Group = "Effects";
468      Title = "Speed of menu scrolling: ";
469      Default = Medium;
470      Range = (UltraFast, Fast, Medium, Slow, UltraSlow);
471      RangeInfo = ("Very fast", "Fast", "Normal", "Slow", "Very slow");
472    };
473    IconSlideSpeed = {
474      Type = String;
475      Group = "Effects";
476      Title = "Speed of icon sliding: ";
477      Default = Medium;
478      Range = (UltraFast, Fast, Medium, Slow, UltraSlow);
479      RangeInfo = ("Very fast", "Fast", "Normal", "Slow", "Very slow");
480    };
481    ShadeSpeed = {
482      Type = String;
483      Group = "Effects";
484      Title = "Speed of window shading: ";
485      Default = Medium;
486      Range = (UltraFast, Fast, Medium, Slow, UltraSlow);
487      RangeInfo = ("Very fast", "Fast", "Normal", "Slow", "Very slow");
488    };
489    WrapMenus = {
490      Type = IBool;
491      Group = "Menu";
492      Title = "Center the titlebar of a menu at the clicked position even if it is partly shown outside of the screen";
493      Default = No;
494      Range = ();
495    };
496    ScrollableMenus = {
497      Type = Bool;
498      Group = "Menu";
499      Title = "Scroll a partly hidden menu back onto the screen as you move your mouse over it";
500      Default = Yes;
501      Range = ();
502    };
503    AlignSubmenus = {
504      Type = Bool;
505      Group = "Menu";
506      Title = "Place the titlebar of a submenu at exactly the same height as the titlebar of its parent";
507      Default = No;
508      Range = ();
509    };
510    NewStyle = {
511      Type = Bool;
512      Group = "Misc";
513      Title = "Use new style titlebar buttons rather than original NeXT buttons (startup option)";
514      Default = No;
515      Range = ();
516    };
517    SaveSessionOnExit = {
518      Type = Bool;
519      Group = "Misc";
520      Title = "Automatically save the session state when exiting Window Maker";
521      Default = No;
522      Range = ();
523    };
524    UseSaveUnders = {
525      Type = Bool;
526      Group = "Misc";
527      Title = "Enable save-under buffering mode for windows";
528      Default = No;
529      Range = ();
530    };
531    DontConfirmKill = {
532      Type = IBool;
533      Group = "Misc";
534      Title = "Show confirmation panel for the window menu command `Kill'";
535      Default = No;
536      Range = ();
537    };
538    DisableSound = {
539      Type = Bool;
540      Group = "Misc";
541      Title = "Disable sound at runtime without the need of killing the sound server";
542      Default = No;
543      Range = ();
544    };
545    DisableDithering = {
546      Type = IBool;
547      Group = "Misc";
548      Title = "Dither gradients and pixmaps etc. when in low color mode (startup option)";
549      Default = No;
550      Range = ();
551    };
552    ColormapSize = {
553      Type = Int;
554      Group = "Misc";
555      Title = "Size of dithering colormap in colors per channel (startup option): ";
556      Default = 4;
557      Range = (2, 5);
558    };
559    PixmapPath = {
560      Type = Pathlist;
561      Group = Paths;
562      Info = "Whenever WindowMaker is given a relative path to find a texture pixmap in, it searches each of these paths in order for that pixmap.";
563      Title = "Pixmap search paths";
564      Default = (
565        "~/GNUstep/Library/WindowMaker/Pixmaps",
566        "~/GNUstep/Library/WindowMaker/Backgrounds",
567        "/usr/local/share/WindowMaker/Pixmaps",
568        "/usr/local/share/WindowMaker/Backgrounds",
569        "/usr/local/include/X11/pixmaps",
570        "/usr/local/share/pixmaps"
571      );
572      Range = ();
573    };
574    IconPath = {
575      Type = Pathlist;
576      Group = Paths;
577      Info = "Whenever WindowMaker is given a relative path to find a icon pixmap in, it searches each of these paths in order for that pixmap.";
578      Title = "Icon search paths";
579      Default = (
580        "~/GNUstep/Library/Icons",
581        "~/GNUstep/Library/WindowMaker/Pixmaps",
582        "/usr/local/share/WindowMaker/Icons",
583        "/usr/local/share/WindowMaker/Pixmaps",
584        "/usr/local/include/X11/pixmaps",
585        "/usr/local/share/pixmaps"
586      );
587      Range = ();
588    };
589    ThemePath = {
590      Type = Pathlist;
591      Group = Themes;
592      Info = "Wmakerconf searches each of these paths in order for the list of available themes.";
593      Title = "Theme search paths";
594      Default = (
595        "~/GNUstep/Library/WindowMaker/Themes",
596	"/usr/local/share/WindowMaker/Themes"
597      );
598      Range = ();
599    };
600    RootMenuKey = {
601      Type = Key;
602      Group = Shortcuts;
603      Info = "Pop up the root menu";
604      Default = None;
605      Range = ();
606    };
607    WindowListKey = {
608      Type = Key;
609      Group = Shortcuts;
610      Info = "Pop up the window list";
611      Default = None;
612      Range = ();
613    };
614    WindowMenuKey = {
615      Type = Key;
616      Group = Shortcuts;
617      Info = "Pop up the commands menu for the focused window";
618      Default = None;
619      Range = ();
620    };
621    ClipLowerKey = {
622      Type = Key;
623      Group = Shortcuts;
624      Info = "Lower the clip";
625      Default = None;
626      Range = ();
627    };
628    ClipRaiseKey = {
629      Type = Key;
630      Group = Shortcuts;
631      Info = "Raise the clip";
632      Default = None;
633      Range = ();
634    };
635    ClipRaiseLowerKey = {
636      Type = Key;
637      Group = Shortcuts;
638      Info = "Raise or lower the clip";
639      Default = None;
640      Range = ();
641    };
642    MiniaturizeKey = {
643      Type = Key;
644      Group = Shortcuts;
645      Info = "Iconify a window";
646      Default = None;
647      Range = ();
648    };
649    MaximizeKey = {
650      Type = Key;
651      Group = Shortcuts;
652      Info = "Maximize the focused window to its full size";
653      Default = None;
654      Range = ();
655    };
656    VMaximizeKey = {
657      Type = Key;
658      Group = Shortcuts;
659      Info = "Maximize the focused window to its full vertical size";
660      Default = None;
661      Range = ();
662    };
663    MoveResizeKey = {
664      Type = Key;
665      Group = Shortcuts;
666      Info = "Move or resize the focused window";
667      Default = "Meta+Up";
668      Range = ();
669    };
670    LowerKey = {
671      Type = Key;
672      Group = Shortcuts;
673      Info = "Lower the focused window to the bottom";
674      Default = "Meta+Down";
675      Range = ();
676    };
677    RaiseKey = {
678      Type = Key;
679      Group = Shortcuts;
680      Info = "Raise the focused window to the top";
681      Default = "Meta+Up";
682      Range = ();
683    };
684    RaiseLowerKey = {
685      Type = Key;
686      Group = Shortcuts;
687      Info = "Raise or lower the window under the mouse pointer";
688      Default = None;
689      Range = ();
690    };
691    FocusNextKey = {
692      Type = Key;
693      Group = Shortcuts;
694      Info = "Switch input focus to the next window";
695      Default = None;
696      Range = ();
697    };
698    FocusPrevKey = {
699      Type = Key;
700      Group = Shortcuts;
701      Info = "Switch input focus to the previous window";
702      Default = None;
703      Range = ();
704    };
705    ShadeKey = {
706      Type = Key;
707      Group = Shortcuts;
708      Info = "Shade the focused window";
709      Default = None;
710      Range = ();
711    };
712    CloseKey = {
713      Type = Key;
714      Group = Shortcuts;
715      Info = "Close the focused window";
716      Default = None;
717      Range = ();
718    };
719    HideKey = {
720      Type = Key;
721      Group = Shortcuts;
722      Info = "Hide an application (if supported)";
723      Default = None;
724      Range = ();
725    };
726    SelectKey = {
727      Type = Key;
728      Group = Shortcuts;
729      Info = "Select a window";
730      Default = None;
731      Range = ();
732    };
733    NextWorkspaceKey = {
734      Type = Key;
735      Group = Shortcuts;
736      Info = "Switch to the next workspace";
737      Default = None;
738      Range = ();
739    };
740    PrevWorkspaceKey = {
741      Type = Key;
742      Group = Shortcuts;
743      Info = "Switch to the previous workspace";
744      Default = None;
745      Range = ();
746    };
747    NextWorkspaceLayerKey = {
748      Type = Key;
749      Group = Shortcuts;
750      Info = "Switch to the next 10 workspace set";
751      Default = None;
752      Range = ();
753    };
754    PrevWorkspaceLayerKey = {
755      Type = Key;
756      Group = Shortcuts;
757      Info = "Switch to the previous 10 workspace set";
758      Default = None;
759      Range = ();
760    };
761    WindowShortcut1Key = {
762      Type = Key;
763      Group = Shortcuts;
764      Info = "Switch to user defined window 1";
765      Default = None;
766      Range = ();
767    };
768    WindowShortcut2Key = {
769      Type = Key;
770      Group = Shortcuts;
771      Info = "Switch to user defined window 2";
772      Default = None;
773      Range = ();
774    };
775    WindowShortcut3Key = {
776      Type = Key;
777      Group = Shortcuts;
778      Info = "Switch to user defined window 3";
779      Default = None;
780      Range = ();
781    };
782    WindowShortcut4Key = {
783      Type = Key;
784      Group = Shortcuts;
785      Info = "Switch to user defined window 4";
786      Default = None;
787      Range = ();
788    };
789    Workspace1Key = {
790      Type = Key;
791      Group = Shortcuts;
792      Info = "Switch to workspace 1";
793      Default = None;
794      Range = ();
795    };
796    Workspace2Key = {
797      Type = Key;
798      Group = Shortcuts;
799      Info = "Switch to workspace 2";
800      Default = None;
801      Range = ();
802    };
803    Workspace3Key = {
804      Type = Key;
805      Group = Shortcuts;
806      Info = "Switch to workspace 3";
807      Default = None;
808      Range = ();
809    };
810    Workspace4Key = {
811      Type = Key;
812      Group = Shortcuts;
813      Info = "Switch to workspace 4";
814      Default = None;
815      Range = ();
816    };
817    Workspace5Key = {
818      Type = Key;
819      Group = Shortcuts;
820      Info = "Switch to workspace 5";
821      Default = None;
822      Range = ();
823    };
824    Workspace6Key = {
825      Type = Key;
826      Group = Shortcuts;
827      Info = "Switch to workspace 6";
828      Default = None;
829      Range = ();
830    };
831    Workspace7Key = {
832      Type = Key;
833      Group = Shortcuts;
834      Info = "Switch to workspace 7";
835      Default = None;
836      Range = ();
837    };
838    Workspace8Key = {
839      Type = Key;
840      Group = Shortcuts;
841      Info = "Switch to workspace 8.";
842      Default = None;
843      Range = ();
844    };
845    Workspace9Key = {
846      Type = Key;
847      Group = Shortcuts;
848      Info = "Switch to workspace 9";
849      Default = None;
850      Range = ();
851    };
852    Workspace10Key = {
853      Type = Key;
854      Group = Shortcuts;
855      Info = "Switch to workspace 10";
856      Default = None;
857      Range = ();
858    };
859    ModifierKey = {
860      Type = String;
861      Group = Shortcuts;
862      Title = "Modifier to use as `Meta' key";
863      Default = Mod1;
864      Range = (
865        Alt,
866        Meta,
867        Hyper,
868        Super,
869        Control,
870        Shift,
871        Mod1,
872        Mod2,
873        Mod3,
874        Mod4,
875        Mod5
876      );
877    };
878    WindowTitleFont = {
879      Type = Font;
880      Group = "Appearance/Windows/Focused";
881      Info = "Window title font";
882      Default = "helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*";
883      Range = ();
884    };
885    MenuTitleFont = {
886      Type = Font;
887      Group = "Appearance/Menu/Title";
888      Info = "Menu title font";
889      Default = "helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*";
890      Range = ();
891    };
892    MenuTextFont = {
893      Type = Font;
894      Group = "Appearance/Menu/Text";
895      Info = "Menu item font";
896      Default = "helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*";
897      Range = ();
898    };
899    IconTitleFont = {
900      Type = Font;
901      Group = "Appearance/Tiles/Miniwindows";
902      Info = "Icon title font";
903      Default = "helvetica-medium-r-normal-*-8-*-*-*-*-*-*-*";
904      Range = ();
905    };
906    ClipTitleFont = {
907      Type = Font;
908      Group = "Appearance/Tiles/Icons";
909      Info = "Font for the workspace name and number in the clip's main icon";
910      Default = "helvetica-bold-r-normal-*-10-*-*-*-*-*-*-*";
911      Range = ();
912    };
913    LargeDisplayFont = {
914      Type = Font;
915      Group = "Appearance/Workspace";
916      Info = "Workspace name indicator";
917      Default = "helvetica-medium-r-normal-*-24-*-*-*-*-*-*-*";
918      Range = ();
919    };
920    MenuTitleColor = {
921      Type = TextColor;
922      Group = "Appearance/Menu/Title";
923      Info = "Text color of a menu title";
924      Title = "Text";
925      Default = white;
926      Range = ();
927    };
928    MenuTextColor = {
929      Type = Color;
930      Group = "Appearance/Menu/Text";
931      Info = "Text color of a menu item";
932      Title = "Text (normal)";
933      Default = black;
934      Range = ();
935    };
936    MenuDisabledColor = {
937      Type = Color;
938      Group = "Appearance/Menu/Text";
939      Info = "Text color of a disabled menu item";
940      Title = "Text (disabled)";
941      Default = 616161;
942      Range = ();
943    };
944    HighlightTextColor = {
945      Type = Color;
946      Group = "Appearance/Menu/Text";
947      Info = "Text color of a menu highlight";
948      Title = "Text (highlight)";
949      Default = black;
950      Range = ();
951    };
952    HighlightColor = {
953      Type = Color;
954      Group = "Appearance/Menu/Text";
955      Info = "Background color of a menu highlight";
956      Title = "Background (highlight)";
957      Default = white;
958      Range = ();
959    };
960    IconTitleColor = {
961      Type = Color;
962      Group = "Appearance/Tiles/Miniwindows";
963      Info = "Text color of an icon title";
964      Title = "Text";
965      Default = white;
966      Range = ();
967    };
968    IconTitleBack = {
969      Type = Color;
970      Group = "Appearance/Tiles/Miniwindows";
971      Info = "Background color of an icon title";
972      Title = "Background";
973      Default = black;
974      Range = ();
975    };
976    FTitleColor = {
977      Type = TextColor;
978      Group = "Appearance/Windows/Focused";
979      Info = "Text color of a focused window title";
980      Title = "Text";
981      Default = white;
982      Range = ();
983    };
984    PTitleColor = {
985      Type = TextColor;
986      Group = "Appearance/Windows/Parent";
987      Info = "Text color of the title of the parent of the focused window";
988      Title = "Text";
989      Default = white;
990      Range = ();
991    };
992    UTitleColor = {
993      Type = TextColor;
994      Group = "Appearance/Windows/Unfocused";
995      Info = "Text color of an unfocused window title";
996      Title = "Text";
997      Default = black;
998      Range = ();
999    };
1000    ClipTitleColor = {
1001      Type = Color;
1002      Group = "Appearance/Tiles/Icons";
1003      Info = "Color of the workspace name and number on the clip's main icon";
1004      Title = "Text (active)";
1005      Default = black;
1006      Range = ();
1007    };
1008    CClipTitleColor = {
1009      Type = Color;
1010      Group = "Appearance/Tiles/Icons";
1011      Info = "Color of the workspace name and number on the clip's main icon when clip is collapsed";
1012      Title = "Text (collapsed)";
1013      Default = 616161;
1014      Range = ();
1015    };
1016    IconBack = {
1017      Type = Texture;
1018      Group = "Appearance/Tiles/Icons";
1019      Default = (solid, gray);
1020      Range = ();
1021    };
1022    WorkspaceBack = {
1023      Type = Texture;
1024      Group = "Appearance/Workspace";
1025      Default = (solid, blue);
1026      Range = ();
1027    };
1028    WorkspaceSpecificBack = {
1029      Type = Text;
1030      Group = None;
1031      Default = (());
1032      Range = ();
1033    };
1034    FTitleBack = {
1035      Type = Texture;
1036      Group = "Appearance/Windows/Focused";
1037      Default = (solid, black);
1038      Range = ();
1039    };
1040    PTitleBack = {
1041      Type = Texture;
1042      Group = "Appearance/Windows/Parent";
1043      Default = (solid, 616161);
1044      Range = ();
1045    };
1046    UTitleBack = {
1047      Type = Texture;
1048      Group = "Appearance/Windows/Unfocused";
1049      Default = (solid, gray);
1050      Range = ();
1051    };
1052    ResizebarBack = {
1053      Type = Texture;
1054      Group = "Appearance/Windows/Resizebar";
1055      Default = (solid, gray);
1056      Range = ();
1057    };
1058    MenuTitleBack = {
1059      Type = Texture;
1060      Group = "Appearance/Menu/Title";
1061      Default = (solid, black);
1062      Range = ();
1063    };
1064    MenuTextBack = {
1065      Type = Texture;
1066      Group = "Appearance/Menu/Text";
1067      Default = (solid, gray);
1068      Range = ();
1069    };
1070    WidgetColor = {
1071      Type = Texture;
1072      Group = "Appearance/Windows/Widget";
1073      Default = (solid, gray);
1074      Range = ();
1075    };
1076  };
1077}
1078