# HG changeset patch
# User laurent
# Date 1260973256 -3600
# Node ID 8137a7face88a71967d4296b9f13e89a634b2488
# Parent  5f90349529c9d39d997f4eb1349d08062d853b43
Bug on FileMenu not refreshed when modifications fixed

diff -r 5f90349529c9 -r 8137a7face88 PLCOpenEditor.py
--- a/PLCOpenEditor.py	Wed Dec 16 15:12:59 2009 +0100
+++ b/PLCOpenEditor.py	Wed Dec 16 15:20:56 2009 +0100
@@ -2647,6 +2647,7 @@
             self.SaveProjectAs()
         else:
             self.RefreshTitle()
+            self.RefreshFileMenu()
     
     def SaveProjectAs(self):
         filepath = self.Controler.GetFilePath()
@@ -2664,6 +2665,7 @@
             else:
                 self.ShowErrorMessage(_("\"%s\" is not a valid folder!")%os.path.dirname(filepath))
             self.RefreshTitle()
+            self.RefreshFileMenu()
         dialog.Destroy()
 
 #-------------------------------------------------------------------------------