workbench: jump between editor and docs with <Control>1 and <Control>2