IDE: Main toolbar : Show repair button also in stop mode. Move repair button after disconnect button.

2020-06-02, Edouard Tisserant