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