14 import BreakpointsFrame
20 class StatusWindow (gtk
.Window
):
22 def __init__(self
, debugger
):
23 gtk
.Window
.__init
__(self
)
25 self
.debugger
= debugger
27 self
.set_border_width(5)
28 self
.set_title("Status")
29 self
.set_default_size(400,600)
30 self
.connect("destroy", DbgTerminal
.quitHandler
)
33 #Vbox container of frames
34 vbox
= gtk
.VBox(False, 5)
40 self
.frames
+= [PositionFrame
.PositionFrame(debugger
), \
41 WatchesFrame
.WatchesFrame(debugger
), \
42 BreakpointsFrame
.BreakpointsFrame(debugger
) ]
46 self
.paned1
= gtk
.VPaned()
49 self
.paned2
= gtk
.VPaned()
50 self
.paned1
.add2(self
.paned2
)
52 self
.paned1
.add1(self
.frames
[1])
53 self
.paned2
.add1(self
.frames
[2])
54 self
.paned2
.add2(self
.frames
[0])
59 def applyConfiguration(self
, conf
):
61 w
= conf
.findInt("statuswnd-width")
62 h
= conf
.findInt("statuswnd-height")
63 paned1
= conf
.findInt("statuswnd-paned1")
64 paned2
= conf
.findInt("statuswnd-paned2")
66 if w
!=None and h
!=None:
69 self
.paned1
.set_position(paned1
)
71 self
.paned2
.set_position(paned2
)
74 while not self
.debugger
.isActive():
78 f
.applyConfiguration(conf
)
81 def fillConfiguration(self
, conf
):
83 conf
.addInt("statuswnd-width", self
.get_size()[0])
84 conf
.addInt("statuswnd-height", self
.get_size()[1])
85 conf
.addInt("statuswnd-paned1", self
.paned1
.get_position())
86 conf
.addInt("statuswnd-paned2", self
.paned2
.get_position())
89 f
.fillConfiguration(conf
)