diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2012-03-12 20:51:57 +0100 |
|---|---|---|
| committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2012-03-12 20:51:57 +0100 |
| commit | 79267c4cf92df3ddba6628588009928fcba02351 (patch) | |
| tree | 11882f10678e52fc196e0af18eeee024e69ac4d0 /services | |
| parent | 62ac993c951267d0b798feaf8d138eec702e7277 (diff) | |
PanelService: close the menu if the related entry has been removed.
(bzr r1858.9.178)
Diffstat (limited to 'services')
| -rw-r--r-- | services/panel-service.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/services/panel-service.c b/services/panel-service.c index 93cdbd3db..920b81513 100644 --- a/services/panel-service.c +++ b/services/panel-service.c @@ -1382,6 +1382,12 @@ panel_service_sync_geometry (PanelService *self, g_hash_table_remove (priv->panel2entries_hash, panel_id); } } + + /* If the entry has been removed let's make sure that its menu is closed */ + if (valid_entry && GTK_IS_MENU (priv->last_menu) && priv->last_menu == entry->menu) + { + gtk_menu_popdown (entry->menu); + } } else { |
