084c7107f1
Obmenu is a menu editor designed for openbox. It's easy to use, allowing to get the most out of the powerful Openbox menu system, while hiding the xml layout from the user. It also (optionally) installs a bunch of dynamic menus (pipe menus), such as Gnome menus or a quick-navigator. You can also use the obxml module to easily write pipe menus of your own in Python. "looks fine" sthen@, ok jasper@
13 lines
566 B
Plaintext
13 lines
566 B
Plaintext
$OpenBSD: patch-obmenu_glade,v 1.1.1.1 2007/12/19 16:09:34 ajacoutot Exp $
|
|
--- obmenu.glade.orig Wed Dec 19 15:15:38 2007
|
|
+++ obmenu.glade Wed Dec 19 15:15:49 2007
|
|
@@ -727,7 +727,7 @@ Exit</property>
|
|
</widget>
|
|
|
|
<widget class="GtkAboutDialog" id="aboutdialog1">
|
|
- <property name="visible">True</property>
|
|
+ <property name="visible">False</property>
|
|
<property name="destroy_with_parent">True</property>
|
|
<property name="name" translatable="yes">Openbox Menu Editor</property>
|
|
<property name="comments" translatable="yes">Thank you for using this sofware.
|