4250: Bookmark menu does not redraw when bookmarks are re-ordered

svn: r15917
2010-09-20 23:49:00 +00:00 · 2010-09-20 23:49:00 +00:00 · 54a35df4bc
commit 54a35df4bc
parent f89bfe0796
1 changed files with 1 additions and 0 deletions
--- a/src/Bookmarks.py
+++ b/src/Bookmarks.py
@ -126,6 +126,7 @@ class Bookmarks :
            self.uistate.uimanager.remove_ui(self.active)
            self.uistate.uimanager.remove_action_group(self.action_group)
            self.action_group = gtk.ActionGroup('Bookmarks')
+            self.uistate.uimanager.ensure_update()
            self.active = DISABLED

    def redraw_and_report_change(self):