diff options
-rw-r--r-- | ChangeLog | 8 | ||||
-rw-r--r-- | src/bookmarks/ephy-bookmarks-menu.c | 1 | ||||
-rw-r--r-- | src/ephy-favorites-menu.c | 1 | ||||
-rw-r--r-- | src/ephy-tabs-menu.c | 1 |
4 files changed, 11 insertions, 0 deletions
@@ -1,5 +1,13 @@ 2003-09-01 Marco Pesenti Gritti <marco@gnome.org> + * 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. + +2003-09-01 Marco Pesenti Gritti <marco@gnome.org> + * src/bookmarks/ephy-bookmarks-editor.c: (ephy_bookmarks_editor_construct): * src/bookmarks/ephy-bookmarks-menu.c: (ephy_bookmarks_menu_clean): 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; } |