tabswitch: new operator that automagically switches tabs