read_mini leaves "" on stack

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

% xjed -batch -f 'ungetkey(7); try { read_mini("ABC", "abc", "123"); } catch AnyError; _print_stack();'
ABC(default abc)^G
(0)[String_Type]:
% xjed --version
jed version: 0.99.19-17/Unix
 Compiled with GNU C 4.1
S-Lang version: 2.0.6

jed compile-time options:
 +LINE_ATTRIBUTES +BUFFER_LOCAL_VARS +SAVE_NARROW +TTY_MENUS
 +EMACS_LOCKING +MULTICLICK +SUBPROCESSES +DFA_SYNTAX +ABBREVS
 +COLOR_COLUMNS +LINE_MARKS +GPM_MOUSE +IMPORT

Using JED_ROOT=/usr/share/jed
% 

I expect, no value is left on the stack in case of the UserBreak signal.

Bye, Jörg.
-- 
Wenn unser Hirn so einfach wäre, dass es sich selbst
begreifen könnte, dann könnte es sich selbst nicht mehr
begreifen, weil es zu einfach wäre ;) Nur mal so als
philosophischer Denkanstoss …

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