src/Doc/JEdit/JEdit.thy

   VM. This affects either historic or neo-minimalistic window managers like
   ``@{verbatim awesome}'' or ``@{verbatim xmonad}''.
 
   \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.
-
-  \textbf{Workaround:} Disable @{verbatim MacOSX} plugin.
+  \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:} 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,
   although with a small risk of instabilities.