When running jEdit on a Linux desktop with a German keyboard map, the following problem
appears:
The jEdit shortcut for "Edit/Source/Go to Matching Bracket" is (by default) C+CLOSE_BRACKET.
However, in the German keyboard map, the closing bracket is accessible using the AltGr+9
key combination. Thus, to achieve "C+CLOSE_BRACKET", the user would have to use the
Ctrl+AltGr+9 key combination. However, this key combination is not recognized by jEdit,
it instead recognizes "C+9" (as evidenced by testing this in the "Utilities/Options/jEdit/Shortcuts"
section when trying to use Ctrl+AltGr+9 as shortcut). Thus, the Ctrl+AltGr+9 key combination
is interpreted by jEdit as actually Ctrl+9, and both seem to be usable as interchangeably,
while a separate Ctrl+AltGr+9 key combination is not accessible. Thus, the "C+CLOSE_BRACKET"
key combination is not accessible, and thus, the jEdit shortcut for "Edit/Source/Go
to Matching Bracket" is actually not accessible, while it should be accessible.
$ java -version
java version "1.7.0_45"
OpenJDK Runtime Environment (IcedTea 2.4.3) (suse-24.9.1-x86_64)
OpenJDK 64-Bit Server VM (build 24.45-b08, mixed mode)
$ echo $LANG
de_DE.UTF-8
Submitted | mediumnet - 2014-01-12 23:33:39.346000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | German Keyboard |
Status | open | Group | normal bug |
Resolution | None |
2014-03-18 17:03:08.923000 ghps |
I can confirm this bug in jEdit 5.0 using my German keyboard/installation though somehow with different details. AltGr-9, Ctrl-Alt-9, Ctrl-AltGr-9 and even Alt-AltGr-9 result in the keystroke CA-9]. Therefore the AltGr-key has lost is special functions which is a problem in a number of cases, e.g. Ctrl-Alt-q ("CA-q") vs. AltGr-q ("@"). |
---|---|
2014-03-19 18:43:27.927000 ezust |
- **labels**: --> German Keyboard |
2014-03-24 02:49:51.594000 ezust |
Could this be related to https://sourceforge.net/p/jedit/bugs/2420/ ? |