[ jEdit-devel ] Problems with KeyEventWorkaround

[Kazutoshi S. <k_s...@f2...>]

Hi,

While investigating this bug:
"Norwegian/Danish characters ÆØÅ inconsistent in UTF-8"
https://sourceforge.net/support/tracker.php?aid=2093501

I found some problems in KeyEventWorkaround in gui package.

1. modifier field
The static field "modifier" is maintained in this class. The bits in it
are set on KEY_PRESSED and reset on KEY_RELEASED. This certainly doesn't
work with application focus switching with ALT+Tab.

2. isPrintable() method
According to the log of keyboard tester which was reported in the above
bug, this method gives wrong result for key events from non-US-ASCII
character key.

The above bug looks caused by the combination of these problems.

Fixing these problems may be good. But I want more clean solution;
removing KeyEventWorkaround. The following bugs looks all caused by
KeyEventWorkaround.
https://sourceforge.net/support/tracker.php?aid=1808725
https://sourceforge.net/support/tracker.php?aid=1650718
https://sourceforge.net/support/tracker.php?aid=1231885
https://sourceforge.net/support/tracker.php?aid=1936714

Looking at the log, this class was made before 2001/09 to avoid some
bugs in various JREs. The circumstance certainly have been changed for
now.

I'll try removing it. Please let me know if you know an actual problem
worth to have workaround, which is still valid in Java 5.

However, quick fix for the problem 1 and 2 are also welcome, for the
case the removal was really hard challenge.

I think this issue should be a primary goal of the next release.
-- 
k_satoda