diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-19 12:42:14 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-19 12:42:14 (GMT) |
commit | 5e00d939de1e94fb4b5310f65a1cc03697c6923c (patch) | |
tree | e395e1cbae965f3e6ff98c40e19968492eccfb0c /shell | |
parent | a3f62ee68f47686e52128e7f1a1e2278bb287ebc (diff) |
Fix the zooming cycle
Diffstat (limited to 'shell')
-rwxr-xr-x | shell/Shell.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/shell/Shell.py b/shell/Shell.py index 5876f70..2f47c22 100755 --- a/shell/Shell.py +++ b/shell/Shell.py @@ -84,10 +84,16 @@ class Shell(gobject.GObject): self._screen.connect('window-opened', self.__window_opened_cb) self._screen.connect('window-closed', self.__window_closed_cb) + self._screen.connect("showing_desktop_changed", + self.__showing_desktop_changed_cb) def set_console(self, console): self._console = console + def __showing_desktop_changed_cb(self, screen): + if not screen.get_showing_desktop(): + self._zoom_level = Shell.ZOOM_ACTIVITY + def __window_opened_cb(self, screen, window): if window.get_window_type() == wnck.WINDOW_NORMAL: host = ActivityHost(self, window) |