Ignore double desktop switching notifications.

This commit is contained in:
Marco Pesenti Gritti 2007-09-14 13:58:59 +02:00
parent b626f628eb
commit 4e18357902
2 changed files with 6 additions and 1 deletions

1
NEWS
View File

@ -1,3 +1,4 @@
* #3045 Fix clipboard palettes behavior. (marco)
* #2739 Make frame show on corners also after showing palettes. (marco)
Snapshot 47f473189e

View File

@ -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):
showing_desktop = self._screen.get_showing_desktop()
if self._showing_desktop != showing_desktop:
self._showing_desktop = showing_desktop
self.notify('zoom-level')