# HG changeset patch
# User Edouard Tisserant
# Date 1301305320 -7200
# Node ID c6354f7fe26e58001a25de898550065a65a6d2df
# Parent  720a0d30b6788a707394342c26445b566682fae6
Restore RefreshFileMenu in CFileEditor

diff -r 720a0d30b678 -r c6354f7fe26e plugins/c_ext/CFileEditor.py
--- a/plugins/c_ext/CFileEditor.py	Sun Mar 27 16:16:55 2011 +0200
+++ b/plugins/c_ext/CFileEditor.py	Mon Mar 28 11:42:00 2011 +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):