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