Re: read_mini leaves "" on stack

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hello John,

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> =?UTF-8?Q?J=C3=B6rg?= Sommer <joerg@xxxxxxxxxxxx> wrote:
>>% xjed -batch -f 'ungetkey(7); try { read_mini("ABC", "abc", "123"); } catch
>>  AnyError; _print_stack();'
>>ABC(default abc)^G
>>(0)[String_Type]:
>
> I am unable to reproduce this.

And without batchmode?

> Did you press ^G at the prompt?

Yes.

> Also in batch mode, pressing ^G may not send the process a SIGINT since
> in that mode jed makes no attempt to setup the terminal.  Try pressing
> ^C instead.

But ^C does not generate a UserBreak.

Bye, Jörg.
-- 
Der kommt den Göttern am nächsten, der auch dann schweigen kann,
wenn er im Recht ist.                         (Cato; 234–149 v. Chr.)

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