Re: [Gretl-devel] console bug
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
<pedantic-on> you can also right-click...<pedantic-off>
-sven