[RkWard-devel] Ctrl-C usage

[Thomas Friedrichsmeier]

Hi all,

a quick question on the Ctrl-C shortcut. Since the Console should behave 
mostly just like R in a regular terminal session, it would be nice, if you 
could interrupt the current command using Ctrl-C. However, Ctrl-C is also the 
default shortcut for copying text to the clipboard. So the question is how 
should I deal with this? Which use should be given the Ctrl-C shortcut, and 
which should get a different key-binding? Also, which should be the 
key-binding for the other use?

Thanks!
Thomas