IDE: Fix status bar update when conection lost

2023-10-09, Edouard Tisserant