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

svn: r15916
This commit is contained in:
Nick Hall 2010-09-20 23:47:06 +00:00
parent 2f983fade2
commit 84898abaaf

View File

@ -126,6 +126,7 @@ class Bookmarks :
self.uistate.uimanager.remove_ui(self.active) self.uistate.uimanager.remove_ui(self.active)
self.uistate.uimanager.remove_action_group(self.action_group) self.uistate.uimanager.remove_action_group(self.action_group)
self.action_group = gtk.ActionGroup('Bookmarks') self.action_group = gtk.ActionGroup('Bookmarks')
self.uistate.uimanager.ensure_update()
self.active = DISABLED self.active = DISABLED
def redraw_and_report_change(self): def redraw_and_report_change(self):