author | laurent |
Sat, 12 Dec 2009 20:49:07 +0100 | |
changeset 509 | aa5645a25d64 |
parent 508 | 73ecb803d8af |
child 510 | 8038c08b9874 |
Beremiz.py | file | annotate | diff | comparison | revisions |
--- 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.RefreshAll() - self.RefreshTitle() + self._Refresh(TITLE, FILEMENU) def OnSaveProjectAsMenu(self, event): if self.PluginRoot is not None: self.PluginRoot.SaveProjectAs() self.RefreshAll() - self.RefreshTitle() + self._Refresh(TITLE, FILEMENU) event.Skip() def OnPropertiesMenu(self, event):