38fa7d
Merge pull request #2906 from manongjohn/fix_paste_into_typetool_box Ignore OT's paste shortcut in TypeTool box