Overhaul UI: instrument list
This MR contains changes of the instrument list towards a more general programming style:
-
InstrumentSelectorWidgetis renamed toInstrumentListand does not derive anymore fromItemSelectorWidget, which heavily depends onSessionModel. -
InstrumetListModelhas been implemented as a model forInstrumentList. Currently it usesInstrumentModelas the underlying data structure until that is replaced by something else.