From 7b9beb6c5ff3eddd3df3a84892a6f67a787215d4 Mon Sep 17 00:00:00 2001 From: Marco Pesenti Gritti Date: Mon, 1 Sep 2003 16:41:58 +0000 Subject: Some more missing ensure update. 2003-09-01 Marco Pesenti Gritti * src/bookmarks/ephy-bookmarks-menu.c: (ephy_bookmarks_menu_clean): * src/ephy-favorites-menu.c: (ephy_favorites_menu_clean): * src/ephy-tabs-menu.c: (ephy_tabs_menu_clean): Some more missing ensure update. --- src/bookmarks/ephy-bookmarks-menu.c | 1 + src/ephy-favorites-menu.c | 1 + src/ephy-tabs-menu.c | 1 + 3 files changed, 3 insertions(+) (limited to 'src') diff --git a/src/bookmarks/ephy-bookmarks-menu.c b/src/bookmarks/ephy-bookmarks-menu.c index ecc4344ca..6c3e27b62 100644 --- a/src/bookmarks/ephy-bookmarks-menu.c +++ b/src/bookmarks/ephy-bookmarks-menu.c @@ -97,6 +97,7 @@ ephy_bookmarks_menu_clean (EphyBookmarksMenu *menu) if (p->ui_id > 0) { gtk_ui_manager_remove_ui (merge, p->ui_id); + gtk_ui_manager_ensure_update (merge); p->ui_id = 0; } diff --git a/src/ephy-favorites-menu.c b/src/ephy-favorites-menu.c index 2ba8ddac4..3cb54a9e0 100644 --- a/src/ephy-favorites-menu.c +++ b/src/ephy-favorites-menu.c @@ -89,6 +89,7 @@ ephy_favorites_menu_clean (EphyFavoritesMenu *wrhm) if (p->ui_id > 0) { gtk_ui_manager_remove_ui (merge, p->ui_id); + gtk_ui_manager_ensure_update (merge); p->ui_id = 0; } diff --git a/src/ephy-tabs-menu.c b/src/ephy-tabs-menu.c index b294a20e0..ca9d625c2 100644 --- a/src/ephy-tabs-menu.c +++ b/src/ephy-tabs-menu.c @@ -167,6 +167,7 @@ ephy_tabs_menu_clean (EphyTabsMenu *menu) if (p->ui_id > 0) { gtk_ui_manager_remove_ui (merge, p->ui_id); + gtk_ui_manager_ensure_update (merge); p->ui_id = 0; } -- cgit v1.2.3