equal
deleted
inserted
replaced
360 # At init selected = -1 |
360 # At init selected = -1 |
361 if selected >= 0: |
361 if selected >= 0: |
362 window = self.FileOpened.GetPage(selected) |
362 window = self.FileOpened.GetPage(selected) |
363 if window: |
363 if window: |
364 self.Manager.ChangeCurrentNode(window.GetIndex()) |
364 self.Manager.ChangeCurrentNode(window.GetIndex()) |
365 self.RefreshBufferState() |
365 wx.CallAfter(self.RefreshBufferState) |
366 self.RefreshStatusBar() |
366 self.RefreshStatusBar() |
367 self.RefreshProfileMenu() |
367 self.RefreshProfileMenu() |
368 event.Skip() |
368 event.Skip() |
369 |
369 |
370 def OnHelpDS301Menu(self, event): |
370 def OnHelpDS301Menu(self, event): |