Today, Ctrl+Shift+C (when text input focus is in a multi-line text box) does the same thing as F12, it opens Developer Tools.In addition to being redundant, this is very frustrating when one uses ctrl-shift-c to copy from a terminal window all day, a...
