+
+ 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)