Miscellany

Index: gnome-panel-2.29.5.1/gnome-panel/panel-menu-items.c===================================================================--- gnome-panel-2.29.5.1.orig/gnome-panel/panel-menu-items.c    2010-01-14 04:26:27.000000000 +0100+++ gnome-panel-2.29.5.1/gnome-panel/panel-menu-items.c 2010-01-15 00:10:30.000000000 +0100@@ -1024,6 +1024,7 @@    GtkWidget *item;    char      *gconf_name;    char      *name;+   char      *path;    char      *uri;    GFile     *file; @@ -1190,9 +1191,18 @@    if (add_separator)        add_menu_separator (menu); -   panel_menu_items_append_from_desktop (menu, "yelp.desktop", NULL, FALSE);+   panel_menu_items_append_from_desktop (menu, "yelp.desktop", _("Help and Support"), FALSE);+    panel_menu_items_append_from_desktop (menu, "gnome-about.desktop", NULL, FALSE); +   if (g_file_test (DATADIR"/omf/about-ubuntu/about-ubuntu-C.omf",+            G_FILE_TEST_IS_REGULAR))+     panel_menu_items_append_from_desktop (menu, "ubuntu-about.desktop", NULL, FALSE);++   if (g_file_test (DATADIR"/omf/about-edubuntu/about-edubuntu-C.omf",+            G_FILE_TEST_IS_REGULAR))+     panel_menu_items_append_from_desktop (menu, "edubuntu-about.desktop", NULL, FALSE);+    if (parent->priv->append_lock_logout)        panel_menu_items_append_lock_logout (menu); }