Bug on FileMenu not refreshed when modifications fixed
authorlaurent
Wed, 16 Dec 2009 15:21:17 +0100
changeset 534 80f05b17de1e
parent 531 ba136820dd7d
child 535 f8cecd8eb32e
Bug on FileMenu not refreshed when modifications fixed
plugger.py
plugins/c_ext/CFileEditor.py
plugins/python/PythonEditor.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
     
--- 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):
--- 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):