[Gretl-devel] [bug?] selection in gretl console

[Allin Cottrell]

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.