+ def applyConfiguration(self, conf):
+
+ w = conf.findInt("statuswnd-width")
+ h = conf.findInt("statuswnd-height")
+ paned1 = conf.findInt("statuswnd-paned1")
+ paned2 = conf.findInt("statuswnd-paned2")
+
+ if w!=None and h!=None:
+ self.resize(w,h)
+ if paned1!=None:
+ self.paned1.set_position(paned1)
+ if paned2!=None:
+ self.paned2.set_position(paned2)
+
+
+ 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())
+ conf.addInt("statuswnd-paned2", self.paned2.get_position())
+
+ for f in self.frames:
+ f.fillConfiguration(conf)