beremiz
Clone
Summary
Browse
Changes
Graph
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
23 months ago, Edouard Tisserant
87f11a874477
Parents
1479acf750e2
Children
5e0660d394e3
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes
1 files changed, 1 insertions(+), 0 deletions(-)
+1
-0
ConfigTreeNode.py
--- 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):
"""