Fixes #436: force keyboard focus for tool when tab is selected by user #456

Closed dionisiydk closed 5 years ago