ConfigTreeNode.py
changeset 4000 87f11a874477
parent 3785 29bc2bebf1d4
--- a/ConfigTreeNode.py	Tue Jul 23 17:05:59 2024 +0200
+++ b/ConfigTreeNode.py	Wed Jul 24 15:14:02 2024 +0200
@@ -139,6 +139,7 @@
             if appframe is not None:
                 appframe.RefreshTitle()
                 appframe.RefreshPageTitles()
+                appframe.RefreshFileMenu()
 
     def ProjectTestModified(self):
         """