equal
deleted
inserted
replaced
37 self.MenuItems = [] |
37 self.MenuItems = [] |
38 |
38 |
39 def _init_ctrls(self, parent): |
39 def _init_ctrls(self, parent): |
40 wx.SplitterWindow.__init__(self, parent, |
40 wx.SplitterWindow.__init__(self, parent, |
41 style=wx.SUNKEN_BORDER|wx.SP_3D) |
41 style=wx.SUNKEN_BORDER|wx.SP_3D) |
42 self.SetNeedUpdating(True) |
|
43 self.SetMinimumPaneSize(1) |
42 self.SetMinimumPaneSize(1) |
44 |
43 |
45 self._init_MenuItems() |
44 self._init_MenuItems() |
46 |
45 |
47 if self.VARIABLE_PANEL_TYPE is not None: |
46 if self.VARIABLE_PANEL_TYPE is not None: |
85 def GetIcon(self): |
84 def GetIcon(self): |
86 return self.Icon |
85 return self.Icon |
87 |
86 |
88 def SetIcon(self, icon): |
87 def SetIcon(self, icon): |
89 self.Icon = icon |
88 self.Icon = icon |
90 |
|
91 def GetState(self): |
|
92 return None |
|
93 |
|
94 def SetState(self, state): |
|
95 pass |
|
96 |
89 |
97 def IsViewing(self, tagname): |
90 def IsViewing(self, tagname): |
98 return self.GetTagName() == tagname |
91 return self.GetTagName() == tagname |
99 |
92 |
100 def IsDebugging(self): |
93 def IsDebugging(self): |