beremiz

Parents f792940b212f
Children 64619d892ab8
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
@@ -141,6 +141,7 @@
if appframe is not None:
appframe.RefreshTitle()
appframe.RefreshPageTitles()
+ appframe.RefreshFileMenu()
def ProjectTestModified(self):
"""