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