On Wed, 25 Sep 2013, Andrew Boyton wrote:
The fact that Isabelle/jEdit doesn't obey the standard OS X keybindings
is frustrating but sadly typical for a Java application. For a Mac
application I expect Command+, to bring up the preferences, but I also
expect the preferences to be in the menu "jEdit -> Preferences", like
every other Mac application. I do accept though that Java applications
are rarely good citizens on any platform, and so am not surprised.
There is a long story behind Mac OS X + Java not working quite as well as
on other platforms, and many parties are to blame for it: Sun, Apple,
Oracle, as well as the average Mac user who is not very active in
supporting open source projects to get it really right.
I have myself started to use Mac OS X part-time in 2008 to make up for
this. Right now I have initiated some activity on the jEdit Sourceforge
project to get things into shape for Java 7.
To make jEdit a really good citizen on Mac OS X, the inhabitants of that
platform need to do something. Neither Apple nor Oracle have the
resources to make it just work out of the box.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
