Menu
▾
▴
Re: [ jEdit-users ] tilde, acute not working
|
From: bernd <be...@th...> - 2003-08-10 14:31:04
|
thx for your reply. i just installed 4.2pre4 but it doesn't working ether... do you now anything else what i could do? On Fri, 8 Aug 2003 12:11:25 -0400 Slava Pestov <sl...@je...> wrote: > Try the latest release, 4.2pre4. > > On Fri, Aug 08, 2003 at 09:28:47AM +0200, bernd wrote: > > 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 > > > > > > > > ------------------------------------------------------- > > This SF.Net email sponsored by: Free pre-built ASP.NET sites including > > Data Reports, E-commerce, Portals, and Forums are available now. > > Download today and enter to win an XBOX or Visual Studio .NET. > > http://aspnet.click-url.com/go/psa00100003ave/direct;at.aspnet_072303_01/01 > > -- > > ----------------------------------------------- > > jEdit Users' List > > jEd...@li... > > https://lists.sourceforge.net/lists/listinfo/jedit-users > > -- > Slava Pestov > > > ------------------------------------------------------- > This SF.Net email sponsored by: Free pre-built ASP.NET sites including > Data Reports, E-commerce, Portals, and Forums are available now. > Download today and enter to win an XBOX or Visual Studio .NET. > http://aspnet.click-url.com/go/psa00100003ave/direct;at.aspnet_072303_01/01 > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > -- |
