beremiz

Parents 1479acf750e2
Children 5e0660d394e3
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
--- 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):
"""