From 5fba34e38f10fddd81997b9596e20820018bad61 Mon Sep 17 00:00:00 2001 From: Stefan Huber Date: Mon, 23 Jun 2008 13:18:38 +0100 Subject: [PATCH] adding scrollbars for terminals --- MainControlWindow.py | 20 ++++++++++++++++---- featurerequest.txt | 1 - 2 files changed, 16 insertions(+), 5 deletions(-) diff --git a/MainControlWindow.py b/MainControlWindow.py index f5f47cd..54fbac9 100644 --- a/MainControlWindow.py +++ b/MainControlWindow.py @@ -41,7 +41,7 @@ class MainControlWindow (gtk.Window): #Button box hbtnbox = gtk.HBox(False, spacing=5) #hbtnbox.set_layout(gtk.BUTTONBOX_START) - vbox.pack_start(hbtnbox) + vbox.pack_start(hbtnbox, expand=False) self.runBtn = gtk.Button("Run") hbtnbox.add(self.runBtn) @@ -58,9 +58,21 @@ class MainControlWindow (gtk.Window): #Vertical pane for terminals vpaned = gtk.VPaned() - vbox.pack_start(vpaned, True, True) - vpaned.add(self.dbgterm) - vpaned.add(self.clientioterm) + vbox.pack_start(vpaned) + + #Debugger terminal + hbox = gtk.HBox(False, 0) + vpaned.pack1(hbox, resize=True) + scrollbar = gtk.VScrollbar(dbgterm.get_adjustment()) + hbox.pack_start(dbgterm) + hbox.pack_start(scrollbar, expand=False) + + #Client I/O terminal + hbox = gtk.HBox(False, 0) + vpaned.pack2(hbox) + scrollbar = gtk.VScrollbar(self.clientioterm.get_adjustment()) + hbox.pack_start(self.clientioterm) + hbox.pack_start(scrollbar, expand=False) #Install handlers diff --git a/featurerequest.txt b/featurerequest.txt index 28c3fa7..8a02147 100644 --- a/featurerequest.txt +++ b/featurerequest.txt @@ -1,5 +1,4 @@ Smaller requests - - Scrollbar for terminals Medium requestes: - Deactivate breakpoints -- 2.39.5