Fixed id="messages1" to id="messages" (used by src/app/core/application/header-menu.js!onFileChanged())
@@ -43,7 +43,7 @@
</ul>
</li>
<li><button class="level-1">Edit</button></li>
- <li><span class="level-1" id="messages1">iGeomJS version 2025/03/20</span></li><!-- to be used to launch messages: -->
+ <li><span class="level-1" id="messages">iGeomJS version 2025/03/20</span></li><!-- to be used to launch messages: -->
</div>
<div class="p-1 flex-fill center">