IDE: Fix "Save" toolbar button and file menu entry not appearing when extension makes changes

23 months ago, Edouard Tisserant