merge with forgoten rev
authorlolitech@ks351503.kimsufi.com
Tue, 01 Jun 2010 10:03:58 +0200
changeset 535 f8cecd8eb32e
parent 534 80f05b17de1e (diff)
parent 533 25437efb7ae4 (current diff)
child 537 881c0b3f0204
merge with forgoten rev
plugger.py
--- a/plugger.py	Fri Dec 25 13:08:20 2009 +0100
+++ b/plugger.py	Tue Jun 01 10:03:58 2010 +0200
@@ -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	Fri Dec 25 13:08:20 2009 +0100
+++ b/plugins/c_ext/CFileEditor.py	Tue Jun 01 10:03:58 2010 +0200
@@ -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	Fri Dec 25 13:08:20 2009 +0100
+++ b/plugins/python/PythonEditor.py	Tue Jun 01 10:03:58 2010 +0200
@@ -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):