Ctrl+G not working in batch mode

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

in batch mode the key ctrl+g which should trigger an user break from
read_min() does nothing.

% xjed -batch -f 'read_mini("foo", "", "")'
loading /usr/share/jed/lib/site.slc
loading /usr/share/jed/lib/os.sl
loading /usr/share/jed/lib/menus.slc
loading /usr/share/jed/lib/defaults.sl
loading /etc/jed.d/05jed-common.sl
loading /etc/jed.d/50jed-extra.sl
loading /usr/share/jed/jed-extra/libdir.sl
loading /etc/jed.d/50local.sl
loading /home/joerg/.jed/jed.rc
loading /usr/share/jed/lib/keydefs.slc
loading /usr/share/jed/lib/modeinfo.slc
loading /usr/share/jed/lib/compress.slc
loading /usr/share/jed/lib/abbrev.slc
foo(default )^G^G
% 

Why it does not work?

Bye, Jörg.
-- 
Fuchs' Paradoxon (http://www.bruhaha.de/laws.html):
Wer eine allgemeine Frage beliebigen Themas nach de.alt.arnooo postet und
eine ernsthafte Antwort erwartet, ist dort eigentlich ziemlich ontopic.

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