[gnome-menus] editor: Stop editing settings.menu

[Vincent Untz <vuntz src gnome org>]

commit 3fae17cc6e86b3e988df481a05a386e005b7637c
Author: Vincent Untz <vuntz gnome org>
Date:   Fri Jul 22 13:21:17 2011 +0200

    editor: Stop editing settings.menu
    
    We dropped that file a while ago. We could replace this with
    gnomecc.menu, but gnome-control-center loads the file from the system
    configuration and explicitly ignore the user changes there...

 simple-editor/GMenuSimpleEditor/menutreemodel.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/simple-editor/GMenuSimpleEditor/menutreemodel.py b/simple-editor/GMenuSimpleEditor/menutreemodel.py
index 913f763..9930c4f 100644
--- a/simple-editor/GMenuSimpleEditor/menutreemodel.py
+++ b/simple-editor/GMenuSimpleEditor/menutreemodel.py
@@ -55,7 +55,7 @@ class MenuTreeModel (Gtk.TreeStore):
         self.entries_list_iter = None
         
         if (len (menu_files) < 1):
-            menu_files = ["applications.menu", "settings.menu"]
+            menu_files = ["applications.menu"]
 
         for menu_file in menu_files:
             if menu_file == "applications.menu" and os.environ.has_key ("XDG_MENU_PREFIX"):