equal
deleted
inserted
replaced
393 def OnFileSelectedChanged(self, event): |
393 def OnFileSelectedChanged(self, event): |
394 selected = event.GetSelection() |
394 selected = event.GetSelection() |
395 # At init selected = -1 |
395 # At init selected = -1 |
396 if selected >= 0: |
396 if selected >= 0: |
397 window = self.FileOpened.GetPage(selected) |
397 window = self.FileOpened.GetPage(selected) |
398 self.Manager.ChangeCurrentNode(window.GetIndex()) |
398 if window: |
399 self.RefreshBufferState() |
399 self.Manager.ChangeCurrentNode(window.GetIndex()) |
400 self.RefreshStatusBar() |
400 self.RefreshBufferState() |
401 self.RefreshProfileMenu() |
401 self.RefreshStatusBar() |
|
402 self.RefreshProfileMenu() |
402 event.Skip() |
403 event.Skip() |
403 |
404 |
404 def OnHelpDS301Menu(self, event): |
405 def OnHelpDS301Menu(self, event): |
405 find_index = False |
406 find_index = False |
406 selected = self.FileOpened.GetSelection() |
407 selected = self.FileOpened.GetSelection() |
451 answer = dialog.ShowModal() |
452 answer = dialog.ShowModal() |
452 dialog.Destroy() |
453 dialog.Destroy() |
453 if answer == wxID_YES: |
454 if answer == wxID_YES: |
454 self.Manager.ChangeCurrentNode(0) |
455 self.Manager.ChangeCurrentNode(0) |
455 for i in xrange(self.FileOpened.GetPageCount()): |
456 for i in xrange(self.FileOpened.GetPageCount()): |
|
457 window = self.FileOpened.GetPage(i) |
|
458 self.Manager.ChangeCurrentNode(window.GetIndex()) |
456 if self.Manager.CurrentIsSaved(): |
459 if self.Manager.CurrentIsSaved(): |
457 self.Manager.CloseCurrent() |
460 self.Manager.CloseCurrent() |
458 else: |
461 else: |
459 self.Save() |
462 self.Save() |
460 self.Manager.CloseCurrent(True) |
463 self.Manager.CloseCurrent(True) |