import gtk
import vte
+import BreakpointsFrame
import WatchesFrame
+
class StatusWindow (gtk.Window):
- def __init__(self, parent, debugger):
+ def __init__(self, mainctrlwnd, debugger):
gtk.Window.__init__(self)
- self.set_screen(parent.get_screen())
-
+ self.debugger = debugger
+
self.set_border_width(5)
self.set_title("Status")
- self.set_default_size(400,400)
-
+ self.set_default_size(400,600)
+ self.connect("destroy", lambda *w: gtk.main_quit())
vbox = gtk.VBox(False, 5)
self.add(vbox)
self.status = gtk.Label("Not Running")
vbox.pack_start(self.status, False, False)
- vpaned = gtk.VPaned()
- vbox.add(vpaned)
+ self.paned1 = gtk.VPaned()
+ vbox.add(self.paned1)
+
+ #Adding the frames
+ self.frames = []
+ self.frames += [WatchesFrame.WatchesFrame(debugger)]
+ self.frames += [BreakpointsFrame.BreakpointsFrame(debugger)]
+ self.paned1.add1(self.frames[0])
+ self.paned1.add2(self.frames[1])
- self.watchesFrame = WatchesFrame.WatchesFrame(debugger)
- vpaned.add1(self.watchesFrame)
+ #Register callback function for new positions
+ #and update the values
+ mainctrlwnd.newPosCbs += [self.updateValues]
self.show_all()
+ def applyConfiguration(self, conf):
+
+ w = conf.findInt("statuswnd-width")
+ h = conf.findInt("statuswnd-height")
+ paned1 = conf.findInt("statuswnd-paned1")
+
+ if w!=None and h!=None:
+ self.resize(w,h)
+ if paned1!=None:
+ self.paned1.set_position(paned1)
+
+
+ while not self.debugger.isActive():
+ gtk.main_iteration()
+
+ for f in self.frames:
+ f.applyConfiguration(conf)
+
+
+ def fillConfiguration(self, conf):
+
+ conf.addInt("statuswnd-width", self.get_size()[0])
+ conf.addInt("statuswnd-height", self.get_size()[1])
+ conf.addInt("statuswnd-paned1", self.paned1.get_position())
+
+ for f in self.frames:
+ f.fillConfiguration(conf)
+
+
def updateValues(self, pos):
if pos == None:
file, lineno = pos
self.status.set_text("%s:%s" % (file, lineno))
- self.watchesFrame.updateValues()
+ for f in self.frames:
+ f.updateValues(pos)