diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-14 11:58:59 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-14 11:58:59 (GMT) |
commit | 4e18357902e39eebb00f0f33dad7e2becc668333 (patch) | |
tree | f8419ab2b0bb2fd3730b47dca3949ae0c086939b /shell | |
parent | b626f628eb9966b7017dcc4a9d715a99c01b1f4f (diff) |
Ignore double desktop switching notifications.
Diffstat (limited to 'shell')
-rw-r--r-- | shell/model/shellmodel.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/shell/model/shellmodel.py b/shell/model/shellmodel.py index 532d0c2..5462e27 100644 --- a/shell/model/shellmodel.py +++ b/shell/model/shellmodel.py @@ -52,6 +52,7 @@ class ShellModel(gobject.GObject): self._current_activity = None self._state = self.STATE_RUNNING self._zoom_level = self.ZOOM_HOME + self._showing_desktop = True self._pservice = presenceservice.get_instance() @@ -105,4 +106,7 @@ class ShellModel(gobject.GObject): return self._devices def _showing_desktop_changed_cb(self, screen): - self.notify('zoom-level') + showing_desktop = self._screen.get_showing_desktop() + if self._showing_desktop != showing_desktop: + self._showing_desktop = showing_desktop + self.notify('zoom-level') |