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