// IInstrumentProvider member

public Instrument Instrument

{

    get { return instrument; }

    set

    {

        if (instrument != null)

         {

              // Unsubscribe to subscriptions to previously selected instrument

         }

        if (value != null)

         {

              // Create subscriptions for the newly selected instrument

         }

         instrument = value;

        // Send instrument to other windows linked to the same color

         PropagateInstrumentChange(value);

        // Update the tab header name

         RefreshHeader();

    }

}