# HG changeset patch
# User laurent
# Date 1260973277 -3600
# Node ID 80f05b17de1e93bb7430946a4d0215ce98b6613e
# Parent  ba136820dd7d4f0874ab9df63e091a7cdfa05ea9
Bug on FileMenu not refreshed when modifications fixed

diff -r ba136820dd7d -r 80f05b17de1e plugger.py
--- a/plugger.py	Wed Dec 16 15:09:12 2009 +0100
+++ b/plugger.py	Wed Dec 16 15:21:17 2009 +0100
@@ -884,6 +884,7 @@
             if self.SaveProjectAs():
                 self.AppFrame.RefreshAll()
                 self.AppFrame.RefreshTitle()
+                self.AppFrame.RefreshFileMenu()
                 return True
         return False
     
diff -r ba136820dd7d -r 80f05b17de1e plugins/c_ext/CFileEditor.py
--- a/plugins/c_ext/CFileEditor.py	Wed Dec 16 15:09:12 2009 +0100
+++ b/plugins/c_ext/CFileEditor.py	Wed Dec 16 15:21:17 2009 +0100
@@ -227,12 +227,14 @@
         self.Controler.BufferCFile()
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
+            self.ParentWindow.RefreshFileMenu()
             self.ParentWindow.RefreshEditMenu()
     
     def StartBuffering(self):
         self.Controler.StartBuffering()
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
+            self.ParentWindow.RefreshFileMenu()
             self.ParentWindow.RefreshEditMenu()
     
     def ResetBuffer(self):
@@ -688,6 +690,7 @@
     def RefreshBuffer(self):
         self.Controler.BufferCFile()
         self.ParentWindow.RefreshTitle()
+        self.ParentWindow.RefreshFileMenu()
         self.ParentWindow.RefreshEditMenu()
 
     def RefreshView(self):
diff -r ba136820dd7d -r 80f05b17de1e plugins/python/PythonEditor.py
--- a/plugins/python/PythonEditor.py	Wed Dec 16 15:09:12 2009 +0100
+++ b/plugins/python/PythonEditor.py	Wed Dec 16 15:21:17 2009 +0100
@@ -277,12 +277,14 @@
         self.Controler.BufferPython()
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
+            self.ParentWindow.RefreshFileMenu()
             self.ParentWindow.RefreshEditMenu()
     
     def StartBuffering(self):
         self.Controler.StartBuffering()
         if self.ParentWindow:
             self.ParentWindow.RefreshTitle()
+            self.ParentWindow.RefreshFileMenu()
             self.ParentWindow.RefreshEditMenu()
     
     def ResetBuffer(self):