* src/ViewManager.py (ViewManager.change_page): Always toggle the

sidebar buttons, even if no data is loaded.

svn: r6312
This commit is contained in:
Alex Roitman 2006-04-11 22:24:26 +00:00
parent 1509ce913f
commit 06bdf56361

View File

@ -557,12 +557,12 @@ class ViewManager:
if num == -1:
num = self.notebook.get_current_page()
if self.state.open:
for ix in range(len(self.buttons)):
if ix != num and self.buttons[ix].get_active():
self.buttons[ix].set_active(False)
if self.state.open:
for mergeid in self.merge_ids:
self.uimanager.remove_ui(mergeid)