1158 self._Refresh(FILEMENU, EDITMENU, DISPLAYMENU, TOOLBAR) |
1158 self._Refresh(FILEMENU, EDITMENU, DISPLAYMENU, TOOLBAR) |
1159 event.Skip() |
1159 event.Skip() |
1160 |
1160 |
1161 def RefreshEditor(self, variablepanel = True): |
1161 def RefreshEditor(self, variablepanel = True): |
1162 selected = self.TabsOpened.GetSelection() |
1162 selected = self.TabsOpened.GetSelection() |
1163 if selected != -1: |
1163 visible = [] |
1164 window = self.TabsOpened.GetPage(selected) |
1164 if USE_AUI: |
|
1165 for child in self.TabsOpened.GetChildren(): |
|
1166 if isinstance(child, wx.aui.AuiTabCtrl): |
|
1167 visible.append(child.GetActivePage()) |
|
1168 elif selected >= 0: |
|
1169 visible.append(selected) |
|
1170 for idx in visible: |
|
1171 window = self.TabsOpened.GetPage(idx) |
1165 window.RefreshView() |
1172 window.RefreshView() |
1166 if not window.IsDebugging() and variablepanel: |
1173 if not window.IsDebugging() and idx == selected and variablepanel: |
1167 self.RefreshVariablePanel(window.GetTagName()) |
1174 self.RefreshVariablePanel(window.GetTagName()) |
1168 |
1175 |
1169 def RefreshVariablePanel(self, tagname): |
1176 def RefreshVariablePanel(self, tagname): |
1170 self.VariablePanelIndexer.RefreshVariablePanel(tagname) |
1177 self.VariablePanelIndexer.RefreshVariablePanel(tagname) |
1171 |
1178 |