Re: [Gretl-devel] [bug?] selection in gretl console
On Sun, 22 Nov 2009, Allin Cottrell wrote:
My point is that it is necessary for gretl to intercept the
"home"
key, in the context of the gretl console, and prevent it from
doing what it would usually do, otherwise you could delete or
overwrite the prompt. The unusual behavior of shift+home is just
a side-effect of that.
Fixed in CVS and Windows snapshot.
Allin.