26d9a1 Merge pull request #3927 from shun-iwasawa/fix_tool_options_shortcuts

13 files Merged by Rodney 3 years ago , Committed by GitHub 3 years ago ,
    Merge pull request #3927 from shun-iwasawa/fix_tool_options_shortcuts
    
    Fix tool options' shortcuts to work without opening tool options bar