equal
deleted
inserted
replaced
764 self.RefreshFunctions[element]() |
764 self.RefreshFunctions[element]() |
765 |
765 |
766 ## Callback function when AUINotebook Page closed with CloseButton |
766 ## Callback function when AUINotebook Page closed with CloseButton |
767 # @param event AUINotebook Event. |
767 # @param event AUINotebook Event. |
768 def OnPageClose(self, event): |
768 def OnPageClose(self, event): |
|
769 # Refresh all window elements that have changed |
|
770 wx.CallAfter(self._Refresh, TITLE, TOOLBAR, FILEMENU, EDITMENU, DISPLAYMENU) |
769 wx.CallAfter(self.RefreshTabCtrlEvent) |
771 wx.CallAfter(self.RefreshTabCtrlEvent) |
770 event.Skip() |
772 event.Skip() |
771 |
773 |
772 def GetCopyBuffer(self): |
774 def GetCopyBuffer(self): |
773 data = None |
775 data = None |
1211 if not window.IsDebugging(): |
1213 if not window.IsDebugging(): |
1212 wx.CallAfter(self.SelectTypesTreeItem, window.GetTagName()) |
1214 wx.CallAfter(self.SelectTypesTreeItem, window.GetTagName()) |
1213 else: |
1215 else: |
1214 wx.CallAfter(self.SelectInstancesTreeItem, self.InstancesTree.GetRootItem(), window.GetInstancePath()) |
1216 wx.CallAfter(self.SelectInstancesTreeItem, self.InstancesTree.GetRootItem(), window.GetInstancePath()) |
1215 window.RefreshView() |
1217 window.RefreshView() |
1216 self._Refresh(FILEMENU, EDITMENU, DISPLAYMENU, TOOLBAR) |
1218 wx.CallAfter(self._Refresh, FILEMENU, EDITMENU, DISPLAYMENU, TOOLBAR) |
1217 event.Skip() |
1219 event.Skip() |
1218 |
1220 |
1219 def RefreshEditor(self): |
1221 def RefreshEditor(self): |
1220 selected = self.TabsOpened.GetSelection() |
1222 selected = self.TabsOpened.GetSelection() |
1221 if USE_AUI: |
1223 if USE_AUI: |