Re: read_mini leaves "" on stack

=?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