[ jEdit-users ] tilde, acute not working

[bernd <be...@th...>]

hello 

i couldn't get working the tilde "~" or a backtick "`" in jedit4.2pre1.

it seems that it is exactly the same prolbem as in:

http://sourceforge.net/tracker/?group_id=588&atid=100588&func=detail&aid=571333

which talks about a bug wich was fixed in Java 1.4.1.

but im using j2re1.4.2 on rh9.0 with swiss-german keyboard.
to get a tilde in shell i have to type:
[Alt-Gr] + [^] + [space]
(yes, i use deadkey).

but this doesn't work in jedit. 

Event java.awt.event.KeyEvent[KEY_PRESSED,keyCode=65406,keyText=Alt Graph,keyChar=Undefined keyChar,modifiers=Alt Graph,extModifiers=Alt Graph,keyLocation=KEY_LOCATION_STANDARD] on org.gjt.sp.jedit.gui.GrabKeyDialog$InputPane[,0,0,204x25,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=null,alignmentY=null,border=javax.swing.plaf.BorderUIResource$CompoundBorderUIResource@323274,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],disabledTextColor=javax.swing.plaf.ColorUIResource[r=153,g=153,b=153],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=0,left=0,bottom=0,right=0],selectedTextColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],selectionColor=javax.swing.plaf.ColorUIResource[r=204,g=204,b=255],columns=0,columnWidth=0,command=,horizontalAlignment=LEADING] filtered
Event java.awt.event.KeyEvent[KEY_RELEASED,keyCode=130,keyText=Dead Circumflex,keyChar=Undefined keyChar,keyLocation=KEY_LOCATION_STANDARD] on org.gjt.sp.jedit.gui.GrabKeyDialog$InputPane[,0,0,204x25,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=null,alignmentY=null,border=javax.swing.plaf.BorderUIResource$CompoundBorderUIResource@323274,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],disabledTextColor=javax.swing.plaf.ColorUIResource[r=153,g=153,b=153],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=0,left=0,bottom=0,right=0],selectedTextColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],selectionColor=javax.swing.plaf.ColorUIResource[r=204,g=204,b=255],columns=0,columnWidth=0,command=,horizontalAlignment=LEADING] passed
Event java.awt.event.KeyEvent[KEY_RELEASED,keyCode=65406,keyText=Alt Graph,keyChar=Undefined keyChar,modifiers=Alt Graph,extModifiers=Alt Graph,keyLocation=KEY_LOCATION_STANDARD] on org.gjt.sp.jedit.gui.GrabKeyDialog$InputPane[,0,0,204x25,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=null,alignmentY=null,border=javax.swing.plaf.BorderUIResource$CompoundBorderUIResource@323274,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],disabledTextColor=javax.swing.plaf.ColorUIResource[r=153,g=153,b=153],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=0,left=0,bottom=0,right=0],selectedTextColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],selectionColor=javax.swing.plaf.ColorUIResource[r=204,g=204,b=255],columns=0,columnWidth=0,command=,horizontalAlignment=LEADING] passed
Event java.awt.event.KeyEvent[KEY_RELEASED,keyCode=32,keyText=Space,keyChar=' ',keyLocation=KEY_LOCATION_STANDARD] on org.gjt.sp.jedit.gui.GrabKeyDialog$InputPane[,0,0,204x25,layout=javax.swing.plaf.basic.BasicTextUI$UpdateHandler,alignmentX=null,alignmentY=null,border=javax.swing.plaf.BorderUIResource$CompoundBorderUIResource@323274,flags=296,maximumSize=,minimumSize=,preferredSize=,caretColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],disabledTextColor=javax.swing.plaf.ColorUIResource[r=153,g=153,b=153],editable=true,margin=javax.swing.plaf.InsetsUIResource[top=0,left=0,bottom=0,right=0],selectedTextColor=javax.swing.plaf.ColorUIResource[r=0,g=0,b=0],selectionColor=javax.swing.plaf.ColorUIResource[r=204,g=204,b=255],columns=0,columnWidth=0,command=,horizontalAlignment=LEADING] passed

any suggestions are realy welcome.

thx bernd