From 84898abaafb87abeab8dec468ccf572b95047bb6 Mon Sep 17 00:00:00 2001
From: Nick Hall <nick__hall@hotmail.com>
Date: Mon, 20 Sep 2010 23:47:06 +0000
Subject: [PATCH] 4250: Bookmark menu does not redraw when bookmarks are
 re-ordered

svn: r15916
---
 src/Bookmarks.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Bookmarks.py b/src/Bookmarks.py
index dd0faf694..e71edd9e7 100644
--- 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):