1011 |
1011 |
1012 def OnUndoMenu(self, event): |
1012 def OnUndoMenu(self, event): |
1013 self.Controler.LoadPrevious() |
1013 self.Controler.LoadPrevious() |
1014 self.CloseTabsWithoutModel() |
1014 self.CloseTabsWithoutModel() |
1015 self.RefreshEditor() |
1015 self.RefreshEditor() |
1016 self._Refresh(TITLE, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE, |
1016 self._Refresh(TITLE, FILEMENU, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE, |
1017 SCALING) |
1017 SCALING) |
1018 |
1018 |
1019 def OnRedoMenu(self, event): |
1019 def OnRedoMenu(self, event): |
1020 self.Controler.LoadNext() |
1020 self.Controler.LoadNext() |
1021 self.CloseTabsWithoutModel() |
1021 self.CloseTabsWithoutModel() |
1022 self.RefreshEditor() |
1022 self.RefreshEditor() |
1023 self._Refresh(TITLE, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE, |
1023 self._Refresh(TITLE, FILEMENU, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE, |
1024 SCALING) |
1024 SCALING) |
1025 |
1025 |
1026 def OnEnableUndoRedoMenu(self, event): |
1026 def OnEnableUndoRedoMenu(self, event): |
1027 self.Controler.EnableProjectBuffer(event.IsChecked()) |
1027 self.Controler.EnableProjectBuffer(event.IsChecked()) |
1028 self.RefreshEditMenu() |
1028 self.RefreshEditMenu() |