# HG changeset patch
# User wenzelm
# Date 1380119375 -7200
# Node ID c83727c7a510d655fedc2a8deba559e2cb6033c4
# Parent  44da1f830715123f20f57fc8f69fdfb1df7d1cbf
updated documentation concerning MacOSX plugin 1.3;

diff -r 44da1f830715 -r c83727c7a510 NEWS
--- 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.
 
diff -r 44da1f830715 -r c83727c7a510 src/Doc/JEdit/JEdit.thy
--- 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,