Fix the shortcut for selecting the tool

Authored by tymond on Mar 18 2020, 11:05 AM.

Description

Fix the shortcut for selecting the tool

(It's already fixed on master in 7b97048f50c1b71f10c386b64217e8c6b8102a4a)

BUG:408555

Details

Committed
woltheravMar 24 2020, 9:33 AM
Parents
R1012:5c3e60217d4a: GIT_SILENT made messages (after extraction)
Branches
Unknown
Tags
Unknown