plugger.py
changeset 534 80f05b17de1e
parent 529 ffe0fba7e427
child 535 f8cecd8eb32e
--- 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