--- a/plugger.py Tue Jun 01 11:24:09 2010 +0200
+++ b/plugger.py Tue Jun 01 13:08:13 2010 +0200
@@ -884,6 +884,7 @@
self.AppFrame.RefreshAll()
self.AppFrame.RefreshTitle()
+ self.AppFrame.RefreshFileMenu() --- a/plugins/c_ext/CFileEditor.py Tue Jun 01 11:24:09 2010 +0200
+++ b/plugins/c_ext/CFileEditor.py Tue Jun 01 13:08:13 2010 +0200
@@ -227,12 +227,14 @@
self.Controler.BufferCFile()
self.ParentWindow.RefreshTitle()
+ self.ParentWindow.RefreshFileMenu() self.ParentWindow.RefreshEditMenu()
def StartBuffering(self):
self.Controler.StartBuffering()
self.ParentWindow.RefreshTitle()
+ self.ParentWindow.RefreshFileMenu() self.ParentWindow.RefreshEditMenu()
@@ -688,6 +690,7 @@
self.Controler.BufferCFile()
self.ParentWindow.RefreshTitle()
+ self.ParentWindow.RefreshFileMenu() self.ParentWindow.RefreshEditMenu()
--- a/plugins/python/PythonEditor.py Tue Jun 01 11:24:09 2010 +0200
+++ b/plugins/python/PythonEditor.py Tue Jun 01 13:08:13 2010 +0200
@@ -277,12 +277,14 @@
self.Controler.BufferPython()
self.ParentWindow.RefreshTitle()
+ self.ParentWindow.RefreshFileMenu() self.ParentWindow.RefreshEditMenu()
def StartBuffering(self):
self.Controler.StartBuffering()
self.ParentWindow.RefreshTitle()
+ self.ParentWindow.RefreshFileMenu() self.ParentWindow.RefreshEditMenu()