Re: another merge from 1.8

[Kevin Ryde]

Neil Jerram <address@hidden> writes:
>
> From some outstanding reports, I'm not sure this area is fully
> correct yet,

Yep.  As long as it's not going backwards of course :).

> Have you already done the merge of these changes to 1.8,

No.

> or should I do that?

Yes please.

>> * Is the readline "new-input-prompt" bit meant to be in 1.8?
>
> That one's debatable.  It seems on reflection that the change wasn't
> directly related to the reported (by Jon Wilson) problem.  So it
> should probably be considered an enhancement, not a bugfix - hence not
> for 1.8.

I think modest enhancements are definite 1.8 material, no need to wait
the 3 years for a head release, not for bits that are safe and self
contained.