Wed, 24 Jul 2024 15:14:02 +0200 Edouard Tisserant IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes