|
|
|
@ -792,9 +792,9 @@
|
|
|
|
|
<!-- You can specify more than one menu file in here and they are all loaded,
|
|
|
|
|
just don't make menu ids clash or, well, it'll be kind of pointless -->
|
|
|
|
|
<!-- default menu file (or custom one in $HOME/.config/openbox/) -->
|
|
|
|
|
<!-- system menu files on Debian systems -->
|
|
|
|
|
<file>/usr/share/lubuntu/openbox/menu.xml</file>
|
|
|
|
|
<file>menu.xml</file>
|
|
|
|
|
|
|
|
|
|
<hideDelay>200</hideDelay>
|
|
|
|
|
<!-- if a press-release lasts longer than this setting (in milliseconds), the
|
|
|
|
|
menu is hidden again -->
|
|
|
|
|