Re: [ jEdit-users ] problems with some keys on keyboard (+, #, <,>)

[Stefan R. <sr...@te...>]

Hello Markus,

I had the same problems when I was using the Sun JDK implementation. I switched to the IBM JDK implementation (use a search engine to locate it) which works fine now (and seems to be faster, too).

Regards,
Stefan

09.04.01 19:03:49, "markus jais" <mj...@we...> wrote:

>hello,
>I have recently intalled jedit 3.01 (linux rpm on redhat 6.2)
>I really love it.
>but I have on problem.
>I can not type the characters #, +, <, > with jedit.
>The keyboard is configured for Germany keyboard layout.
>it works with all programms except jedit.

...