Protect views with no histories

svn: r15300
2010-05-02 13:46:23 +00:00 · 2010-05-02 13:46:23 +00:00 · 527db10555
commit 527db10555
parent 12918718f9
1 changed files with 2 additions and 1 deletions
--- a/src/DisplayState.py
+++ b/src/DisplayState.py
@ -421,7 +421,8 @@ class DisplayState(gen.utils.Callback):
        the given handle.
        """
        history = self.get_history(nav_type, nav_group)
-        history.push(handle)
+        if history:
+            history.push(handle)

    def set_sensitive(self, state):
        self.window.set_sensitive(state)