[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Input only readline port

From: Neil Jerram
Subject: Re: Input only readline port
Date: 19 Jan 2001 09:09:07 +0000

>>>>> "Marius" == Marius Vollmer <address@hidden> writes:

    Marius> Neil Jerram <address@hidden> writes:
    >> So consistency with the non-readline case also suggests that
    >> the readline port should be input only.

    Marius> Agreed.  I'll put this on my list of things to fix.  If
    Marius> someone beats me to it, I wouldn't complain... ;)

I've done this fix now.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]