On Tue, 16 Feb 2010, Sven Schreiber wrote:
Patricio Cuarón schrieb:
> 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...)
>
confirmed on win and lin
Should now be fixed in CVS.
Allin.