--- a/NEWS Wed Sep 25 16:21:27 2013 +0200
+++ b/NEWS Wed Sep 25 16:29:35 2013 +0200
@@ -57,6 +57,8 @@
*** Prover IDE -- Isabelle/Scala/jEdit ***
+* Improved support of native Mac OS X functionality.
+
* Separate manual "jedit" for Isabelle/jEdit, see isabelle doc or
Documentation panel.
--- a/src/Doc/JEdit/JEdit.thy Wed Sep 25 16:21:27 2013 +0200
+++ b/src/Doc/JEdit/JEdit.thy Wed Sep 25 16:29:35 2013 +0200
@@ -219,11 +219,12 @@
\textbf{Workaround:} Use regular re-parenting window manager.
- \item \textbf{Problem:} Mac OS X: the native MacOSX plugin for jEdit tends
- to be disruptive and is off by default. Enabling it might or might not
- improve the user experience.
+ \item \textbf{Problem:} The Mac OS X keyboard shortcut @{verbatim
+ "COMMAND+COMMA"} for Preferences is in conflict with the jEdit default
+ binding for @{verbatim "quick-search"}.
- \textbf{Workaround:} Disable @{verbatim MacOSX} plugin.
+ \textbf{Workaround:} Remap in jEdit manually according to national
+ keyboard, e.g.\ @{verbatim "COMMAND+SLASH"} on English ones.
\item \textbf{Problem:} Mac OS X: Java 7 is officially supported on Lion
and Mountain Lion, but not Snow Leopard. It usually works on the latter,