From 48cf179e8c4054ac661c0d182b5c62a335d3b479 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Fri, 7 Jun 2013 07:18:30 -0600 Subject: [PATCH] request an initial size for the source window --- gui/source.py | 1 + 1 file changed, 1 insertion(+) diff --git a/gui/source.py b/gui/source.py index c6b3647..d8bf176 100644 --- a/gui/source.py +++ b/gui/source.py @@ -147,6 +147,7 @@ class SourceWindow: self.window = gtk.Window(gtk.WINDOW_TOPLEVEL) self.window.set_border_width(0) self.window.set_title('GDB Source') + self.window.set_size_request(600, 400) vbox = gtk.VBox(0, False) swin = gtk.ScrolledWindow()