[patch] gmenu-simple-editor.patch

gmenu-simple-editor.patch (text/plain), 591 bytes, created by Fab on 2009-11-02 10:52:58 UTC

--- /usr/lib/python2.6/site-packages/GMenuSimpleEditor/menutreemodel.py.old	2009-11-02 11:42:54.876017896 +0100
+++ /usr/lib/python2.6/site-packages/GMenuSimpleEditor/menutreemodel.py	2009-11-02 11:43:09.582017076 +0100
@@ -104,7 +104,7 @@
         self.icon_theme = gtk.icon_theme_get_default ()
 
         if (len (menu_files) < 1):
-            menu_files = ["applications.menu", "settings.menu"]
+            menu_files = ["gnome-applications.menu", "settings.menu"]
 
         for menu_file in menu_files:
             tree = gmenu.lookup_tree (menu_file, gmenu.FLAGS_INCLUDE_EXCLUDED)