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