--- a/Beremiz.py Fri Dec 11 16:39:20 2009 +0100
+++ b/Beremiz.py Sat Dec 12 20:49:07 2009 +0100
@@ -1401,13 +1401,13 @@
if self.PluginRoot is not None:
self.PluginRoot.SaveProject()
+ self._Refresh(TITLE, FILEMENU) def OnSaveProjectAsMenu(self, event):
if self.PluginRoot is not None:
self.PluginRoot.SaveProjectAs()
+ self._Refresh(TITLE, FILEMENU) def OnPropertiesMenu(self, event):