When there is a selection on the console and you press the *control* key,
the selection is dropped and the cursor returns to the last prompt line.
Thus, you can't copy by using Ctrl+C, your only option is to use the copy
icon. (I think this worked ok some time ago...)
Bye!