equal
deleted
inserted
replaced
1100 PAGETITLES: self.RefreshPageTitles} |
1100 PAGETITLES: self.RefreshPageTitles} |
1101 |
1101 |
1102 ## Call PLCOpenEditor refresh functions. |
1102 ## Call PLCOpenEditor refresh functions. |
1103 # @param elements List of elements to refresh. |
1103 # @param elements List of elements to refresh. |
1104 def _Refresh(self, *elements): |
1104 def _Refresh(self, *elements): |
1105 for element in elements: |
1105 try: |
1106 self.RefreshFunctions[element]() |
1106 for element in elements: |
|
1107 self.RefreshFunctions[element]() |
|
1108 except wx.PyDeadObjectError: |
|
1109 # ignore exceptions caused by refresh while quitting |
|
1110 pass |
1107 |
1111 |
1108 ## Callback function when AUINotebook Page closed with CloseButton |
1112 ## Callback function when AUINotebook Page closed with CloseButton |
1109 # @param event AUINotebook Event. |
1113 # @param event AUINotebook Event. |
1110 def OnPageClose(self, event): |
1114 def OnPageClose(self, event): |
1111 selected = self.TabsOpened.GetSelection() |
1115 selected = self.TabsOpened.GetSelection() |