Bug report:Tilde does not work

From JavEWiki

State: closed, invalid (problem is not specific to JavE)

Bug report

I know I sent you an e-mail, but in case you didn't get it: JavE refuses to let me type a tilde (~). --jg (talk) 15:19, 3 January 2006 (CET)

Comments

Does the tilde character work in ordinary text areas? E.g. try the text area in the textbox editor (menu "Tools" -> "Textbox Editor"). --Markus 09:54, 5 January 2006 (CET)

Nope, doesn't work there either. Does that mean the problem is in the Java VM? --jg (talk) 15:29, 6 January 2006 (CET)
Maybe. Please check if the problem also exists with other Java applications. E.g. JEdit (a Java based text editor).
Also: What keyboard layout do you have? For me, tilde is on Ctrl-Alt-+ with a german keyboard layout. --Markus 19:30, 7 January 2006 (CET)
Does it work when you enter the character on the numerical pad using its character code (Alt-126)? Markus 19:33, 7 January 2006 (CET)
It doesn't work in JEdit, which implies that it's actually a problem in the VM.
On swedish keyboards, ¨ ^ and ~ are on the same special key next to enter. Alt Gr + [^¨~] followed by Space is supposed to give me just ~.
Alt-126 works.
An interesting tidbit (maybe) is that in JavE and JEdit, I can get ~ by first typing something that expects one more keypress (^ ` ´ ¨) and then ~. That gets me "^~" or similar. --jg (talk) 15:35, 9 January 2006 (CET)