1201 def RefreshEditor(self, variablepanel = True): |
1201 def RefreshEditor(self, variablepanel = True): |
1202 selected = self.TabsOpened.GetSelection() |
1202 selected = self.TabsOpened.GetSelection() |
1203 if USE_AUI: |
1203 if USE_AUI: |
1204 for child in self.TabsOpened.GetChildren(): |
1204 for child in self.TabsOpened.GetChildren(): |
1205 if isinstance(child, wx.aui.AuiTabCtrl): |
1205 if isinstance(child, wx.aui.AuiTabCtrl): |
1206 window = child.GetWindowFromIdx(child.GetActivePage()) |
1206 active_page = child.GetActivePage() |
1207 window.RefreshView() |
1207 if active_page >= 0: |
1208 if not window.IsDebugging() and self.TabsOpened.GetPageIndex(window) == selected and variablepanel: |
1208 window = child.GetWindowFromIdx(child.GetActivePage()) |
1209 self.RefreshVariablePanel(window.GetTagName()) |
1209 window.RefreshView() |
|
1210 if not window.IsDebugging() and self.TabsOpened.GetPageIndex(window) == selected and variablepanel: |
|
1211 self.RefreshVariablePanel(window.GetTagName()) |
1210 elif selected >= 0: |
1212 elif selected >= 0: |
1211 window = self.TabsOpened.GetPage(idx) |
1213 window = self.TabsOpened.GetPage(idx) |
1212 window.RefreshView() |
1214 window.RefreshView() |
1213 if not window.IsDebugging() and variablepanel: |
1215 if not window.IsDebugging() and variablepanel: |
1214 self.RefreshVariablePanel(window.GetTagName()) |
1216 self.RefreshVariablePanel(window.GetTagName()) |