# HG changeset patch
# User lolitech@ks351503.kimsufi.com
# Date 1275379438 -7200
# Node ID f8cecd8eb32e6f3c2c86f2b4cffd1fabfcb69caf
# Parent  80f05b17de1e93bb7430946a4d0215ce98b6613e# Parent  25437efb7ae4338f82a2129beb9580f78b464ed5
merge with forgoten rev

diff -r 25437efb7ae4 -r f8cecd8eb32e 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
     
diff -r 25437efb7ae4 -r f8cecd8eb32e plugins/c_ext/CFileEditor.py
--- 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):
diff -r 25437efb7ae4 -r f8cecd8eb32e plugins/python/PythonEditor.py
--- 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):