diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-18 19:13:10 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-18 19:13:10 (GMT) |
commit | 08a52809a6ae3c712d67a9b50f10821ab5225e48 (patch) | |
tree | 5eaec7c9dad8b2adba81c1649cd5a98f10c36c25 /shell | |
parent | 79007cfb0af7dd3454ff75796203d0586f00f9c8 (diff) |
Hint home window as desktop
Diffstat (limited to 'shell')
-rw-r--r-- | shell/HomeWindow.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/shell/HomeWindow.py b/shell/HomeWindow.py index 8f2618a..a264fbc 100644 --- a/shell/HomeWindow.py +++ b/shell/HomeWindow.py @@ -115,7 +115,7 @@ class HomeWindow(gtk.Window): self._shell = shell - self.set_skip_taskbar_hint(True) + self.connect('realize', self.__realize_cb) vbox = gtk.VBox(False, 6) vbox.set_border_width(24) @@ -146,6 +146,9 @@ class HomeWindow(gtk.Window): self.add(vbox) vbox.show() + def __realize_cb(self, window): + self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DESKTOP) + def list_activities(self): return self._shell.get_registry().list_activities() |