From: Slava P. <sl...@je...> - 2002-08-09 20:41:41
|
Does the keyboard tester report anything useful here? Seems like jEdit is misinterpreting some key events. On Fri, 2002-08-09 at 16:36, Reinout van Schouwen wrote: > > Hi, > > Do you guys know something more about the interaction between the keyboard > settings, JRE 1.4 on Linux and jEdit? > > I was just trying to use jEdit with my keyboard set to US International > (under GNOME2). Typing accented characters is no problem, first I type a > double quote and then an 'e' which yields an e with two dots on it > (the HTML entity ë). But there is no way I can find to type the > double quote itself! In other apps I can use Alt Gr+" for that but not in > jEdit. Apart from using the character map, does anyone have suggestions? > > regards, > > -- > > Reinout van Schouwen Artificial Intelligence student > email: re...@cs... mobile phone: +31-6-44360778 > GPG public key http://www.cs.vu.nl/~reinout/reinout.asc > > > > ------------------------------------------------------- > This sf.net email is sponsored by:ThinkGeek > Welcome to geek heaven. > http://thinkgeek.com/sf > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users |