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