diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-02 13:49:29 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-02 13:49:29 (GMT) |
commit | 71ca9cb8bc5b5cb337b569cf92eedb51f75ed9c1 (patch) | |
tree | 0c68abe6fe1b6f61a042acff63afd89b0665227c /shell | |
parent | 778e65f6105a849254e68644c12250e871709ebe (diff) |
Cleanups
Diffstat (limited to 'shell')
-rw-r--r-- | shell/view/Shell.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/shell/view/Shell.py b/shell/view/Shell.py index 1be2b6b..7c7d749 100644 --- a/shell/view/Shell.py +++ b/shell/view/Shell.py @@ -57,8 +57,6 @@ class Shell(gobject.GObject): self._home_window = HomeWindow(self) self._home_window.show() - self._zoom_level = ShellModel.ZOOM_HOME - self._model.connect('notify::zoom-level', self._zoom_level_changed_cb) @@ -154,6 +152,9 @@ class Shell(gobject.GObject): self._frame.hide() def set_zoom_level(self, level): + if level == self._model.get_zoom_level(): + return + if level == ShellModel.ZOOM_ACTIVITY: self._screen.toggle_showing_desktop(False) else: |