Hi, after quite some time I have tried to use jedit again. To my surprise, I cannot input any key (the mouse is working though).
I've tried a trivial Keyboard read test written in Java which works just fine.
What's going on here? Many thanks for a hint, Helmut.
