equal
deleted
inserted
replaced
1012 window = self.TabsOpened.GetPage(selected) |
1012 window = self.TabsOpened.GetPage(selected) |
1013 window.SaveAs() |
1013 window.SaveAs() |
1014 if self.CTR is not None: |
1014 if self.CTR is not None: |
1015 self.CTR.SaveProjectAs() |
1015 self.CTR.SaveProjectAs() |
1016 self.RefreshAll() |
1016 self.RefreshAll() |
|
1017 self.RefreshConfigRecentProjects(self.CTR.ProjectPath) |
1017 self._Refresh(TITLE, FILEMENU, EDITMENU, PAGETITLES) |
1018 self._Refresh(TITLE, FILEMENU, EDITMENU, PAGETITLES) |
1018 |
1019 |
1019 def OnQuitMenu(self, event): |
1020 def OnQuitMenu(self, event): |
1020 self.Close() |
1021 self.Close() |
1021 |
1022 |