diff options
author | Cristian Garcia <cristian99garcia@gmail.com> | 2013-05-25 21:09:53 (GMT) |
---|---|---|
committer | Cristian Garcia <cristian99garcia@gmail.com> | 2013-05-25 22:12:24 (GMT) |
commit | 4772603a0c1c27b53da559425a3c2b745c1c10a5 (patch) | |
tree | e69bbfe27858ee9af6fd1c425be9e8e0d006532e | |
parent | c019e3b0201de3a2da9472cbaeb8116172a8f48c (diff) |
Agregando para que la terminal no cambie de tamanio con la ventana
-rw-r--r-- | WorkPanel.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/WorkPanel.py b/WorkPanel.py index f3bed44..0bd4e88 100644 --- a/WorkPanel.py +++ b/WorkPanel.py @@ -50,9 +50,14 @@ class WorkPanel(Gtk.Paned): orientation=Gtk.Orientation.VERTICAL) self.notebook_sourceview = Notebook_SourceView() + box = Gtk.Box(orientation=Gtk.Orientation.VERTICAL) + + box.set_size_request(-1, 125) + + box.pack_start(DebugNotebook(), True, True, 0) self.pack1(self.notebook_sourceview, resize = False, shrink = False) - self.pack2(DebugNotebook()) + self.pack2(box, resize = False, shrink = False) self.show_all() |