33
33
just don't make menu ids clash or, well, it'll be kind of pointless -->
35
35
<!-- default menu file (or custom one in $HOME/.config/openbox/) -->
36
36
+ <!-- system menu files on Debian systems -->
37
37
+ <file>/var/lib/openbox/debian-menu.xml</file>
40
39
<hideDelay>200</hideDelay>
41
40
<!-- if a press-release lasts longer than this setting (in milliseconds), the