Re: [ jEdit-devel ] Mac OS X support on Oracle Java 7

On Fri, 30 Nov 2012, Fabian Immler wrote:

> A small change to have jEdit detect Mac OS on Java 7 has been
> integrated (cf. patch ID: 3558572) in trunk, but there are still
> several issues where jEdit does not behave as expected.

As the author of that patch, I would like to recall what I wrote there 
this summer:

   Bypass the old ALTERNATIVE_DISPATCHER workaround for Apple's Java. Thus
   COMMAND is properly recognized as Java META, as on the other platforms.

   I've experimented with this approach a little in the past 1 or 2 weeks,
   and with the official release of JDK 7u6 yesterday, I think it is time
   to move towards it.

That was a bit optimistic.  I do use it a lot myself, but discovered only 
now that non-US keyboards hardly ever work, because ALT key sequences come 
out badly.


 	Makarius