Instrument panel improvement

I love what was done when adding the new instrument panel, but there is a small improvement that could be made.

  1. Move the show/hide button to just below the show/hide instrument list button on the right. I e, make the instrument properties visibility separate from the instrument list.
  2. Change the label “Instrument properties” to the instruments number & name.

This way, the instrument properties can substitute (for minimalism) and become independent of the instrument list, and it also makes the GUI more consistent.