# HG changeset patch
# User Edouard Tisserant <edouard@beremiz.fr>
# Date 1721826842 -7200
# Node ID 87f11a8744775091ae4380654ac899181128a21f
# Parent  1479acf750e230f840e4097ecc822d4eabf2bc17
IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes

diff -r 1479acf750e2 -r 87f11a874477 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):
         """