[ jEdit-devel ] [ jedit-Bugs-660419 ] Shortcuts using keys not on German kbd

[<no...@so...>]

Bugs item #660419, was opened at 2002-12-31 08:05
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=660419&group_id=588

Category: editor core
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Shortcuts using keys not on German kbd

Initial Comment:
Laptop with German keyboard 
Windows 2000 SP3, input locale set to Germany
Sun JDK 1.4.1_01
jEdit 4.03

In order to access some keys not found on a normal
German typewriter keyboard, computers with German
keyboard have the "AltGR" key which is where US-English
keyboard have the right Alt key. AltGr-7 produces { =
left curly bracket, AltGr-8 produces [ = left square
bracket, AltGr-9 produces ] = right square bracket,
AltGr-0 produces } = right curly bracket, AltGr
produces \ = backslash, AltGr-q produces @ = commercial
at, AltGr-+ produces ~ = tilde, AltGr-< produces | =
vertical line and finally AltGr-m produces µ = micro sign. 

Trying to use one of these in shortcuts, produces
various artefacts:

AltGr-7,8,9,0,q,+,< produces CA+7,8,9,0,q,PLUS,LESS in
the input field of the "Specify Shortcut" panel. All
these work when used as shortcuts and pressing
AltGr+key or Crtl-Alt+key is equivalent.

AltGr-m produces "CA+m µ" in the input field of the
"Specify Shortcut" panel. AltGr-m as shortcut works and
pressing it is equivalent with pressing Ctrl-Alt-m.

AltGr-ß (ß = small letter sharp s, is the key to the
right of 0) produces nothing in the input field of the
"Specify Shortcut" panel.and it does not work as
shortcut !!!


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=660419&group_id=588