equal
deleted
inserted
replaced
613 ToDoBeforeQuit = [] |
613 ToDoBeforeQuit = [] |
614 |
614 |
615 def AddToDoBeforeQuit(self, Thing): |
615 def AddToDoBeforeQuit(self, Thing): |
616 self.ToDoBeforeQuit.append(Thing) |
616 self.ToDoBeforeQuit.append(Thing) |
617 |
617 |
618 def OnCloseFrame(self, event): |
618 def TryCloseFrame(self): |
619 for evt_type in [wx.EVT_SET_FOCUS, |
|
620 wx.EVT_KILL_FOCUS, |
|
621 wx.stc.EVT_STC_UPDATEUI]: |
|
622 self.LogConsole.Unbind(evt_type) |
|
623 if self.CTR is None or self.CheckSaveBeforeClosing(_("Close Application")): |
619 if self.CTR is None or self.CheckSaveBeforeClosing(_("Close Application")): |
624 if self.CTR is not None: |
620 if self.CTR is not None: |
625 self.CTR.KillDebugThread() |
621 self.CTR.KillDebugThread() |
626 self.KillLocalRuntime() |
622 self.KillLocalRuntime() |
627 |
623 |
629 |
625 |
630 for Thing in self.ToDoBeforeQuit: |
626 for Thing in self.ToDoBeforeQuit: |
631 Thing() |
627 Thing() |
632 self.ToDoBeforeQuit = [] |
628 self.ToDoBeforeQuit = [] |
633 |
629 |
|
630 return True |
|
631 return False |
|
632 |
|
633 def OnCloseFrame(self, event): |
|
634 if self.TryCloseFrame(): |
634 event.Skip() |
635 event.Skip() |
635 else: |
636 else: |
|
637 # prevent event to continue, i.e. cancel closing |
636 event.Veto() |
638 event.Veto() |
637 |
639 |
638 def RefreshFileMenu(self): |
640 def RefreshFileMenu(self): |
639 self.RefreshRecentProjectsMenu() |
641 self.RefreshRecentProjectsMenu() |
640 |
642 |