- outdated

Changed files:
    gnome-panel-menu.patch -> 1.2

diff --git a/gnome-panel-menu.patch b/gnome-panel-menu.patch
deleted file mode 100644 (file)
index 2857c63..0000000
--- a/gnome-panel-menu.patch
+++ /dev/null
@@ -1,26 +0,0 @@
---- gnome-panel-2.6.2/gnome-panel/menu.c.wiget 2004-07-21 15:44:04.347155922 +0200
-+++ gnome-panel-2.6.2/gnome-panel/menu.c       2004-07-21 15:44:45.256540129 +0200
-@@ -221,7 +221,7 @@
-       /*just load the menus from disk, don't make the widgets
-         this just reads the .desktops of the top most directory
-         and a level down*/
--      fr_read_dir (NULL, "applications:/", 0, 2);
-+      fr_read_dir (NULL, "menu:/", 0, 2);
- 
-       if (distribution_info != NULL &&
-           distribution_info->menu_init_func != NULL)
-@@ -2850,12 +2850,12 @@
- {
-       if ( ! fake ||
-            menu != NULL) {
--              menu = create_menu_at (menu, "applications:/",
-+              menu = create_menu_at (menu, "menu:/",
-                                      launcher_add,
-                                      _("Applications"),
-                                      fake_submenus, FALSE);
-       } else {
--              menu = create_fake_menu_at ("applications:/",
-+              menu = create_fake_menu_at ("menu:/",
-                                           launcher_add,
-                                           _("Applications"));
-       }