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