diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-30 21:47:16 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-30 21:47:16 (GMT) |
commit | 1be27d4b4aac890d3db22223237fdbdebc83883c (patch) | |
tree | bbc3ddd2a5f4bbade4395fdfa73360468d7bb276 | |
parent | 114bad2b55f680dc5373af3760fe6e14e4ac9f08 (diff) |
Console fixes
-rw-r--r-- | shell/console/console.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/shell/console/console.py b/shell/console/console.py index be2d93c..158f6ff 100644 --- a/shell/console/console.py +++ b/shell/console/console.py @@ -46,13 +46,15 @@ class Console(gtk.Window): def _zoom_level_changed_cb(self, shell_model, pspec): if shell_model.props.zoom_level == ShellModel.ZOOM_HOME: - self.set_context('home') + self.context = 'shell' + self._update_view() elif shell_model.props.zoom_level == ShellModel.ZOOM_ACTIVITY: activity = self._home_model.get_active_activity() self.context = 'activity:' + activity.get_type() self._update_view() else: - self.set_context('mesh') + self.context = 'mesh' + self._update_view() def _realize_cb(self, widget): self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DIALOG) |