Re: read_mini steals prefix argument

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hallo John,

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> Jörg Sommer <joerg@xxxxxxxxxxxx> wrote:
>>Why does read_mini() not save the pefix argument and restore it after
>>it has read the string? The same I must do with
>
> I checked in changes such that read_mini will preserve the value of
> the prefix argument.

Thanks.

Regards, Jörg.
-- 
Der Wille und nicht die Gabe macht den Geber.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.