Re: read_mini leaves "" on stack

["John E. Davis" <davis@xxxxxxxxxxxxx>]

=?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.  In fact, in batch mode, read_mini
reads from stdin and not the internal keyboard buffer.  So the call to
ungetkey should have no effect.  

Did you press ^G at the prompt?  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.

Thanks,
--John


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