2011-08-19 16:27:52 +00:00
|
|
|
diff -up gnome-shell-3.1.4/src/shell-app-system.c.avoid-redhat-menus gnome-shell-3.1.4/src/shell-app-system.c
|
|
|
|
|
--- gnome-shell-3.1.4/src/shell-app-system.c.avoid-redhat-menus 2011-08-19 10:36:34.000000000 -0400
|
|
|
|
|
+++ gnome-shell-3.1.4/src/shell-app-system.c 2011-08-19 12:27:23.639591444 -0400
|
|
|
|
|
@@ -93,7 +93,7 @@ shell_app_system_init (ShellAppSystem *s
|
2011-04-11 17:30:10 +00:00
|
|
|
* handle NODISPLAY semantics at a higher level or investigate them
|
|
|
|
|
* case by case.
|
|
|
|
|
*/
|
2011-08-19 16:27:52 +00:00
|
|
|
- priv->apps_tree = gmenu_tree_new ("applications.menu", GMENU_TREE_FLAGS_INCLUDE_NODISPLAY);
|
|
|
|
|
+ priv->apps_tree = gmenu_tree_new ("applications-gnome.menu", GMENU_TREE_FLAGS_INCLUDE_NODISPLAY);
|
|
|
|
|
g_signal_connect (priv->apps_tree, "changed", G_CALLBACK (on_apps_tree_changed_cb), self);
|
2011-04-11 17:30:10 +00:00
|
|
|
|
2011-08-19 16:27:52 +00:00
|
|
|
priv->settings_tree = gmenu_tree_new ("gnomecc.menu", 0);
|
