The problem is that in 6.21 there is no way, that I know of, to paste something as plain text if it begins with /. Ctrl+Enter+V doesn't work of course. So having Ctrl as a modifier for that doesn't seem like such a bad idea. In fact, it makes more sense to me:

Enter = interpret /lines as commands
Ctrl+Enter = don't interpret /lines as commands

Paste (Shift+Insert or rightclick) = interpret /lines as commands
Ctrl+Paste (which of course includes Ctrl+V) = don't interpret /lines as commands

The only problem is when somebody wants to use Ctrl+V to paste AND wants /lines to be interpreted as commands, but realistically, I think it's a non-issue.


/.timerQ 1 0 echo /.timerQ 1 0 $timer(Q).com