diff options
| author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-18 13:54:13 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-18 13:54:13 (GMT) |
| commit | 6c64746c43262cd1269bc04e17d3261fe7abf552 (patch) | |
| tree | ca160d1dcca63144f22d30097411940264ee8465 | |
| parent | 329f171cdab85e76d2eac2824703a82bc43000cb (diff) | |
Better check for desktop vs activity zoom level.
| -rw-r--r-- | src/jarabe/model/shell.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/jarabe/model/shell.py b/src/jarabe/model/shell.py index ea6cd97..f9c384f 100644 --- a/src/jarabe/model/shell.py +++ b/src/jarabe/model/shell.py @@ -322,10 +322,10 @@ class ShellModel(gobject.GObject): self._screen.toggle_showing_desktop(True) def _update_zoom_level(self, window): - if window.get_window_type() == wnck.WINDOW_DESKTOP: - zoom_level = self._desktop_level - else: + if window.get_window_type() == wnck.WINDOW_NORMAL: zoom_level = self.ZOOM_ACTIVITY + else: + zoom_level = self._desktop_level if self._zoom_level != zoom_level: self._zoom_level = zoom_level |