[ jEdit-users ] Modifier Keys in Mac OS X in 4.2

[Charles B. <bu...@po...>]

Hi all.

I'm running Mac OS X 10.3.2 on 17" Powerbook, and I have a bug that 
manifests on Jedit 4.2 pre 7 and pre 8.

When I try to set shortcuts from the Global Options, the control key 
modifier doesn't work. By not working, I mean that if I press CTRL-C I 
get nothing in the Specify Shortcut text box. Interestingly when I use 
an ALT character combination, I am getting alternate characters, such 
as the micro or the check mark. (I get the c-cedilla in the case of 
ALT-C ... ç in html). The Command-C gives me C+c.

In Jedit 4.1, all three of the modifiers worked, allowing for a very 
large number of shortcuts. Are all the modifiers expected to work on 
4.2?

Thanks.
-burk

Java version as follows:
$ java -version
java version "1.4.1_01"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.1_01-99)
Java HotSpot(TM) Client VM (build 1.4.1_01-27, mixed mode)

-- 
<?php while ($awake) code(); ?>