diff options
author | flavio <fdanesse@gmail.com> | 2013-05-26 16:05:26 (GMT) |
---|---|---|
committer | flavio <fdanesse@gmail.com> | 2013-05-26 16:05:26 (GMT) |
commit | 550ef1702eb6bb0cbead783ac875d926f681a680 (patch) | |
tree | 86db312493e578bc11ee08b3838d716c2cdf40ec /WorkPanel.py | |
parent | 5bf98eb56ab217226b43a7c950d683529ed517ac (diff) |
Correccion en detalles de empaquetado en la interfaz.
Diffstat (limited to 'WorkPanel.py')
-rw-r--r-- | WorkPanel.py | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/WorkPanel.py b/WorkPanel.py index ef6af13..cc78914 100644 --- a/WorkPanel.py +++ b/WorkPanel.py @@ -53,14 +53,13 @@ class WorkPanel(Gtk.Paned): self.notebook_sourceview = Notebook_SourceView() self.debug_notebook = DebugNotebook() - box = Gtk.Box(orientation=Gtk.Orientation.VERTICAL) - box.pack_start(self.debug_notebook, False, False, 0) - - self.pack1(self.notebook_sourceview, resize = False, shrink = False) - self.pack2(box, resize = False, shrink = False) + self.pack1(self.notebook_sourceview, resize = True, shrink = False) + self.pack2(self.debug_notebook, resize = False, shrink = True) self.show_all() + self.debug_notebook.set_size_request(-1, 170) + self.notebook_sourceview.connect('new_select', self.__re_emit_new_select) def set_linea(self, texto): @@ -446,3 +445,5 @@ class DebugNotebook(Gtk.Notebook): self.terminal = JAMediaTerminal() self.append_page(self.terminal, Gtk.Label('Terminal')) + + self.show_all() |