diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-25 12:08:39 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-25 12:08:39 (GMT) |
commit | 760651e3d7b7ecaa43825a848cc99ee32146b7c4 (patch) | |
tree | 6d9d29a3c49c4fb22b7d9fbd104ccfd345b9795e | |
parent | 6cd4db9a2d75c33267b87ed82568855577ca4af8 (diff) |
Scale the home canvases to actual screen size
-rw-r--r-- | shell/home/HomeWindow.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shell/home/HomeWindow.py b/shell/home/HomeWindow.py index 6b1fc20..836ec71 100644 --- a/shell/home/HomeWindow.py +++ b/shell/home/HomeWindow.py @@ -43,8 +43,8 @@ class HomeWindow(gtk.Window): def _setup_canvas(self, canvas): canvas.set_bounds(0, 0, 1200, 900) - canvas.set_scale(float(800) / float(1200)) - canvas.set_size_request(800, 600) + canvas.set_scale(float(gtk.gdk.screen_width()) / float(1200)) + canvas.set_size_request(gtk.gdk.screen_width(), gtk.gdk.screen_height()) def __realize_cb(self, window): self.window.set_type_hint(gtk.gdk.WINDOW_TYPE_HINT_DESKTOP) |