--- 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):