diff options
| author | Walter Bender <walter.bender@gmail.com> | 2013-02-27 12:53:09 (GMT) |
|---|---|---|
| committer | Walter Bender <walter.bender@gmail.com> | 2013-02-27 12:53:09 (GMT) |
| commit | a862d537393065cbba5a9f2cce1c87caa02a372e (patch) | |
| tree | 0f02a55ef6b753896901956e329e9110d5e3db19 | |
| parent | b3c80371a84b9cea468e4c99f904464f01f1e6fb (diff) | |
Alan's patch to fix main window sizing in GNOME
| -rwxr-xr-x | turtleblocks.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/turtleblocks.py b/turtleblocks.py index 4fe4800..9947fe4 100755 --- a/turtleblocks.py +++ b/turtleblocks.py @@ -310,6 +310,7 @@ class TurtleMain(): if os.path.exists(os.path.join(self._execdirname, self._ICON_SUBPATH)): win.set_icon_from_file(os.path.join(self._execdirname, self._ICON_SUBPATH)) + win.show() win.connect('delete_event', self._quit_ta) ''' Create a scrolled window to contain the turtle canvas. We @@ -319,7 +320,7 @@ class TurtleMain(): self.fixed = gtk.Fixed() self.fixed.connect('size-allocate', self._fixed_resize_cb) width = gtk.gdk.screen_width() - 80 - height = gtk.gdk.screen_height() - 60 + height = gtk.gdk.screen_height() - 80 self.fixed.set_size_request(width, height) self.vbox = gtk.VBox(False, 0) |