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.