--- a/PLCOpenEditor.py Mon Dec 14 11:00:56 2009 +0100
+++ b/PLCOpenEditor.py Tue Dec 15 08:53:29 2009 +0100
@@ -1013,14 +1013,14 @@
self.Controler.LoadPrevious()
self.CloseTabsWithoutModel()
self.RefreshEditor()
- self._Refresh(TITLE, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE,
+ self._Refresh(TITLE, FILEMENU, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE,
SCALING)
def OnRedoMenu(self, event):
self.Controler.LoadNext()
self.CloseTabsWithoutModel()
self.RefreshEditor()
- self._Refresh(TITLE, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE,
+ self._Refresh(TITLE, FILEMENU, EDITMENU, TYPESTREE, INSTANCESTREE, LIBRARYTREE,
SCALING)
def OnEnableUndoRedoMenu(self, event):