From eae71ada8102feb5ede1f148c447ac2370edd8c0 Mon Sep 17 00:00:00 2001 From: Mike Massonnet Date: Mon, 2 Nov 2009 16:28:50 +0100 Subject: [PATCH] [windowlist] fix broken hidden panel behavior --- plugins/windowlist/windowlist.c | 11 +++++++++-- 1 files changed, 9 insertions(+), 2 deletions(-) diff --git a/plugins/windowlist/windowlist.c b/plugins/windowlist/windowlist.c index 77c8511..401a2b6 100644 --- a/plugins/windowlist/windowlist.c +++ b/plugins/windowlist/windowlist.c @@ -116,6 +116,13 @@ menulist_workspace_name (WnckWorkspace *workspace, /** * Menu Actions **/ +static gboolean +menu_destroy (GtkWidget *widget) +{ + gtk_widget_destroy (GTK_WIDGET (widget)); + return FALSE; +} + static void menu_deactivated (GtkWidget *menu, GtkWidget *button) @@ -125,7 +132,7 @@ menu_deactivated (GtkWidget *menu, gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (button), FALSE); if (menu) - gtk_widget_destroy (menu); + g_idle_add ((GSourceFunc)menu_destroy, menu); } @@ -671,7 +678,7 @@ menulist_toggle_menu (GtkToggleButton *button, GdkEventButton *ev, Windowlist *wl) { - if (ev->button != 1) + if (ev->button != 1 && !(ev->state & GDK_CONTROL_MASK)) return FALSE; return menulist_popup_menu (wl, ev, FALSE); } -- 1.6.5.2