summaryrefslogtreecommitdiffstats
path: root/meta-xfce/recipes-xfce/xfce4-panel/files
diff options
context:
space:
mode:
Diffstat (limited to 'meta-xfce/recipes-xfce/xfce4-panel/files')
-rw-r--r--meta-xfce/recipes-xfce/xfce4-panel/files/0003-windowmenu-do-not-display-desktop-icon-when-no-windo.patch60
1 files changed, 60 insertions, 0 deletions
diff --git a/meta-xfce/recipes-xfce/xfce4-panel/files/0003-windowmenu-do-not-display-desktop-icon-when-no-windo.patch b/meta-xfce/recipes-xfce/xfce4-panel/files/0003-windowmenu-do-not-display-desktop-icon-when-no-windo.patch
new file mode 100644
index 000000000..b2d960c00
--- /dev/null
+++ b/meta-xfce/recipes-xfce/xfce4-panel/files/0003-windowmenu-do-not-display-desktop-icon-when-no-windo.patch
@@ -0,0 +1,60 @@
1From 0651f228cef01a6c3e4758a991cace1cd7721031 Mon Sep 17 00:00:00 2001
2From: =?UTF-8?q?Andreas=20M=C3=BCller?= <schnitzeltony@googlemail.com>
3Date: Mon, 24 Sep 2012 09:57:46 +0200
4Subject: [PATCH] windowmenu: do not display desktop icon when no window is
5 active
6MIME-Version: 1.0
7Content-Type: text/plain; charset=UTF-8
8Content-Transfer-Encoding: 8bit
9
10* desktop icon is of no use
11* desktop icon confuses when using showdesktop plugin
12
13Upstream-Status: Pending
14
15Signed-off-by: Andreas Müller <schnitzeltony@googlemail.com>
16---
17 plugins/windowmenu/windowmenu.c | 12 ++++++------
18 1 files changed, 6 insertions(+), 6 deletions(-)
19
20diff --git a/plugins/windowmenu/windowmenu.c b/plugins/windowmenu/windowmenu.c
21index c96123a..9404021 100644
22--- a/plugins/windowmenu/windowmenu.c
23+++ b/plugins/windowmenu/windowmenu.c
24@@ -256,7 +256,7 @@ window_menu_plugin_init (WindowMenuPlugin *plugin)
25 g_signal_connect (G_OBJECT (plugin->button), "toggled",
26 G_CALLBACK (window_menu_plugin_menu), plugin);
27
28- plugin->icon = xfce_panel_image_new_from_source ("user-desktop");
29+ plugin->icon = xfce_panel_image_new_from_source (NULL);
30 gtk_container_add (GTK_CONTAINER (plugin->button), plugin->icon);
31 gtk_widget_show (plugin->icon);
32 }
33@@ -634,7 +634,7 @@ window_menu_plugin_active_window_changed (WnckScreen *screen,
34 /* skip 'fake' windows */
35 type = wnck_window_get_window_type (window);
36 if (type == WNCK_WINDOW_DESKTOP || type == WNCK_WINDOW_DOCK)
37- goto show_desktop_icon;
38+ goto show_no_icon;
39
40 /* get the window icon and set the tooltip */
41 gtk_widget_set_tooltip_text (GTK_WIDGET (icon),
42@@ -648,11 +648,11 @@ window_menu_plugin_active_window_changed (WnckScreen *screen,
43 }
44 else
45 {
46- show_desktop_icon:
47+ show_no_icon:
48
49- /* desktop is shown right now */
50- xfce_panel_image_set_from_source (icon, "user-desktop");
51- gtk_widget_set_tooltip_text (GTK_WIDGET (icon), _("Desktop"));
52+ /* no icon is shown right now */
53+ xfce_panel_image_set_from_source (icon, NULL);
54+ gtk_widget_set_tooltip_text (GTK_WIDGET (icon), _("No Windows"));
55 }
56 }
57 }
58--
591.7.6.5
60