Re: Bug in key event handler (Mac only)

On Jul 31, 2004, at 4:08 PM, Slava Pestov wrote:

>> In any case, it seems to be messing things up for those of us with 
>> regular keyboards. Perhaps this should be a user-settable option that 
>> it is off by default?
>
> Once Apple fixes this bug.

Don't you mean *until* Apple fixes this bug? If I understand the issue 
correctly, ALTERNATIVE_DISPATCHER is a workaround for a bug in Apple's 
VM that affects international keyboard layouts. However, this 
workaround produces another bug in the search bar. Since most users 
probably don't need the workaround, it would be nice to offer a switch 
that turns off the workaround and allows the search bar to work 
properly.

Trevor

P.S. Is there a document that describes known issues such as this? I 
couldn't find anything in the README.

-------------------------------------------------------
This SF.Net email is sponsored by OSTG. Have you noticed the changes on
Linux.com, ITManagersJournal and NewsForge in the past few weeks? Now,
one more big change to announce. We are now OSTG- Open Source Technology
Group. Come see the changes on the new OSTG site. www.ostg.com
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel