workbench: focus workspace when active workspace changes.