class MainControlWindow (gtk.Window):
- #Callbacks for new positions
- newPosCbs = []
-
- def __init__(self, dbgterm, closecb=None):
+ def __init__(self, dbgterm):
#Set up GTK stuff
gtk.Window.__init__(self)
+ self.connect("destroy", lambda *w: gtk.main_quit() )
- if closecb!=None:
- self.connect("destroy", lambda *w: closecb() )
+ #Callbacks for new positions
+ self.newPosCbs = []
#Set terminals
self.dbgterm = dbgterm