diff options
| author | Mikael Magnusson <mikachu@comhem.se> | 2008-02-03 16:53:33 +0100 |
|---|---|---|
| committer | Mikael Magnusson <mikachu@comhem.se> | 2008-02-04 02:26:00 +0100 |
| commit | 12ca673de556b341588a7f67fb2b9417c1e91d6b (patch) | |
| tree | 7bdeae8b8ea53081d6d3543174a68fb04437ba35 /data/rc.xml | |
| parent | 6b04ac47e2306b7b37a2f52753a94a7b87515f7a (diff) | |
Add the manageDesktops option.
Diffstat (limited to 'data/rc.xml')
| -rw-r--r-- | data/rc.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/data/rc.xml b/data/rc.xml index d164660d..90ec90d1 100644 --- a/data/rc.xml +++ b/data/rc.xml @@ -622,9 +622,17 @@ <!-- default menu file (or custom one in $HOME/.config/openbox/) --> <file>menu.xml</file> <hideDelay>200</hideDelay> + <!-- if a press-release lasts longer than this setting (in milliseconds), the + menu is hidden again --> <middle>no</middle> + <!-- center submenus vertically about the parent entry --> <submenuShowDelay>100</submenuShowDelay> + <!-- this one is easy, time to delay before showing a submenu after hovering + over the parent entry --> <applicationIcons>yes</applicationIcons> + <!-- controls if icons appear in the client-list-(combined-)menu --> + <manageDesktops>yes</manageDesktops> + <!-- show the manage desktops section in the client-list-(combined-)menu --> </menu> <applications> |