import vte
-import GdbTerminal
+import DbgTerminal
import ClientIOTerminal
#Set up GTK stuff
gtk.Window.__init__(self)
- self.connect("destroy", lambda *w: gtk.main_quit() )
+ self.connect("destroy", DbgTerminal.quitHandler )
#Callbacks for new positions
self.newPosCbs = []
self.add(vbox)
#Button box
- hbtnbox = gtk.HButtonBox()
- hbtnbox.set_layout(gtk.BUTTONBOX_START)
+ hbtnbox = gtk.HBox(False, spacing=5)
+ #hbtnbox.set_layout(gtk.BUTTONBOX_START)
vbox.pack_start(hbtnbox)
self.runBtn = gtk.Button("Run")