new feature: selecting on breakpoint sets entry-ctrl-text
[pygdb.git] / StatusWindow.py
index 1eb486251471aa9d540a27b5108b67607f5d02fd..c6c29cfdedc61c74683962e93fddefbbcd952691 100644 (file)
@@ -7,40 +7,74 @@ __author__ = "shuber"
 import gtk
 import vte
 
-import WatchesFrame
 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,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)
 
-               self.watchesFrame = WatchesFrame.WatchesFrame(debugger)
-               vpaned.add1(self.watchesFrame)
+               #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.breakpointsFrame = BreakpointsFrame.BreakpointsFrame(debugger)
-               vpaned.add2(self.breakpointsFrame)
+               #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:
@@ -49,7 +83,7 @@ class StatusWindow (gtk.Window):
                        file, lineno = pos
                        self.status.set_text("%s:%s" % (file, lineno))
 
-               self.watchesFrame.updateValues()
-               self.breakpointsFrame.updateValues()
+               for f in self.frames:
+                       f.updateValues(pos)