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 = []