diff options
Diffstat (limited to 'gnome-panel-about.patch')
| -rw-r--r-- | gnome-panel-about.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gnome-panel-about.patch b/gnome-panel-about.patch new file mode 100644 index 0000000..3b31508 --- /dev/null +++ b/gnome-panel-about.patch @@ -0,0 +1,13 @@ +diff -up gnome-panel-2.27.91/gnome-panel/panel-menu-items.c.about gnome-panel-2.27.91/gnome-panel/panel-menu-items.c +--- gnome-panel-2.27.91/gnome-panel/panel-menu-items.c.about 2009-08-25 13:32:12.101272238 -0400 ++++ gnome-panel-2.27.91/gnome-panel/panel-menu-items.c 2009-08-25 14:08:21.444015913 -0400 +@@ -1170,7 +1170,8 @@ panel_desktop_menu_item_append_menu (Gtk + add_menu_separator (menu); + + panel_menu_items_append_from_desktop (menu, "gnome-yelp.desktop", NULL, FALSE); +- panel_menu_items_append_from_desktop (menu, "gnome-about.desktop", NULL, FALSE); ++ if (panel_has_desktop_file ("about-this-computer.desktop")) ++ panel_menu_items_append_from_desktop (menu, "about-this-computer.desktop", NULL, FALSE); + + if (parent->priv->append_lock_logout) + panel_menu_items_append_lock_logout (menu); |