adding scrollbars for terminals

diff --git a/MainControlWindow.py b/MainControlWindow.py
index f5f47cd5472cf18345a52124ad453c1887c66848..54fbac9a1ce174f781ffa7aa54ec69d0330c362c 100644 (file)
--- 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 28c3fa7446214fd8f41d5ffadf264bfa9f1bf15a..8a021479a33b45cea0394097c0db249b2c282812 100644 (file)
--- a/featurerequest.txt
+++ b/featurerequest.txt
@@ -1,5 +1,4 @@
 Smaller requests
-  - Scrollbar for terminals
 
 Medium requestes:
   - Deactivate breakpoints