tilde gobbling: any work arounds?
Submitted by Friday, 20 April, 2007 - 19:26
on
I can't get Jedit to output a tilde. I shuffled through forum messages and this seems to be a perennial problem, so this is just a bump to see if there is anything new.
The problem:
Minor: with the normal us keyboard, no tilde
Major: with the us international keyboard, most deadkeys can't be typed: ' " ~ ` ^
Under Ubuntu 6.10 (Edgy) I can switch keyboards to the US standard to resolve the Major problem (annoying, but an acceptable workaround: the US international keyboard works fine everywhere else except Jedit). However, I still can't get the tilde even under the US standard keyboard.
Is this a Linux problem? Jedit worked fine in Windows.
Here is some data:
Jedit 4.3pre9 Java: 1.5.0_11
Ubuntu 6.10 (Edgy)
Compaq presario R3000
Keyboard troubleshooter message: filters the character.
The problem:
Minor: with the normal us keyboard, no tilde
Major: with the us international keyboard, most deadkeys can't be typed: ' " ~ ` ^
Under Ubuntu 6.10 (Edgy) I can switch keyboards to the US standard to resolve the Major problem (annoying, but an acceptable workaround: the US international keyboard works fine everywhere else except Jedit). However, I still can't get the tilde even under the US standard keyboard.
Is this a Linux problem? Jedit worked fine in Windows.
Here is some data:
Jedit 4.3pre9 Java: 1.5.0_11
Ubuntu 6.10 (Edgy)
Compaq presario R3000
Keyboard troubleshooter message: filters the character.