# HG changeset patch
# User laurent
# Date 1260647347 -3600
# Node ID aa5645a25d64684b68e433d78c06a611ba5e7f26
# Parent  73ecb803d8af717b1975171300af95e24e9e3c0c
Bug not refreshing FileMenu when saving fixed

diff -r 73ecb803d8af -r aa5645a25d64 Beremiz.py
--- 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):