Wouldn't work if there also was a non-ctrl shortcut for the same key.

Task-number: QTCREATORBUG-3928
Reviewed-by: hjk