From 0169fb717f98583384862bc0cde219f10f74b4e9 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Jun 26 2012 04:46:22 +0000 Subject: fix patch --- diff --git a/gnome-shell-avoid-redhat-menus.patch b/gnome-shell-avoid-redhat-menus.patch index c87c981..febc6ce 100644 --- a/gnome-shell-avoid-redhat-menus.patch +++ b/gnome-shell-avoid-redhat-menus.patch @@ -1,10 +1,10 @@ -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 - * handle NODISPLAY semantics at a higher level or investigate them - * case by case. - */ +diff -up gnome-shell-3.5.3/src/shell-app-system.c.avoid-redhat-menus gnome-shell-3.5.3/src/shell-app-system.c +--- gnome-shell-3.5.3/src/shell-app-system.c.avoid-redhat-menus 2012-06-25 12:40:06.000000000 -0400 ++++ gnome-shell-3.5.3/src/shell-app-system.c 2012-06-26 00:45:55.824232085 -0400 +@@ -103,7 +103,7 @@ shell_app_system_init (ShellAppSystem *s + + /* We want to track NoDisplay apps, so we add INCLUDE_NODISPLAY. We'll + * filter NoDisplay apps out when showing them to the user. */ - 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);