Re: [Jed-users-l] jed don't works well under Ubuntu, Gnome, in EDT mode

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

On Sun 2013-12-15 (00:22), gamo wrote:

> It's still usable with menus, but the numeric keypad doesn't respond in many
> keys (i.e. begin select, "." in EDT mode).
> 
> Ubuntu 13.10 > Gnome > Ctrl+Alt+T > jed file

It is an old bug in the gnome terminal: it cannot handle the keypad in
application mode, as needed by edt.

I have reported this bug years ago and got the response: 
"Irelevant, because no one needs it any more".

Worakaround: use xterm instead of gnome terminal. Like I do :-)


-- 
Ullrich Horlacher              Informationssysteme und Serverbetrieb
Rechenzentrum IZUS/TIK         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Universitaet Stuttgart         Tel:    ++49-711-68565868
Allmandring 30a                Fax:    ++49-711-682357
70550 Stuttgart (Germany)      WWW:    http://www.tik.uni-stuttgart.de/
REF:<52ACE81A.1090305@xxxxxxxxxxxx>
_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l