diff options
| author | Unknown <unknown@unknown.org> | 2010-11-01 16:52:12 (GMT) |
|---|---|---|
| committer | Sascha Silbe <sascha-pgp@silbe.org> | 2010-11-01 16:52:12 (GMT) |
| commit | bacd9208e42a63cb4ee95f7b18a8b23c5f921698 (patch) | |
| tree | 8e2e6b087e23f5f5defaa5020da52cdac3b89e49 | |
| parent | f14c817a5ab4c169d6b54bec02ed9c8e5b038117 (diff) | |
sl1725-homewindow-resize-on-resolution-change.patch
| -rw-r--r-- | src/jarabe/desktop/homewindow.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/jarabe/desktop/homewindow.py b/src/jarabe/desktop/homewindow.py index d830ed0..fec4289 100644 --- a/src/jarabe/desktop/homewindow.py +++ b/src/jarabe/desktop/homewindow.py @@ -45,8 +45,10 @@ class HomeWindow(gtk.Window): self._active = False self._fully_obscured = True - self.set_default_size(gtk.gdk.screen_width(), - gtk.gdk.screen_height()) + screen = self.get_screen() + screen.connect('size-changed', self.__screen_size_change_cb) + self.set_default_size(screen.get_width(), + screen.get_height()) self.realize() self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DESKTOP) @@ -80,6 +82,9 @@ class HomeWindow(gtk.Window): elif level == ShellModel.ZOOM_MESH: self._mesh_box.suspend() + def __screen_size_change_cb(self, screen): + self.resize(screen.get_width(), screen.get_height()) + def _activate_view(self, level): if level == ShellModel.ZOOM_HOME: self._home_box.resume() |