> we often used jedit in the past as a guinea pig that shows if a > problem is due to Java and its environment, or to FreeMind/Freeplane.
Installed jedit, ran it; it's ignoring keyboard input, too. So sounds like Java's the actual problem. The alternatives system is using java-7-openjdk-amd64. What other does it make sense to try in its place ? Eddy. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org