26d9a1
Merge pull request #3927 from shun-iwasawa/fix_tool_options_shortcuts Fix tool options' shortcuts to work without opening tool options bar