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)]
- vpaned.add1(self.frames[0])
- vpaned.add2(self.frames[1])
+ self.paned1.add1(self.frames[0])
+ self.paned1.add2(self.frames[1])
#Register callback function for new positions
#and update the values
def applyConfiguration(self, conf):
+ w = conf.findInt("statuswnd-width")
+ h = conf.findInt("statuswnd-height")
+ paned1 = conf.findInt("statuswnd-paned1")
+
+ print w, h, 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()
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)