updated documentation concerning MacOSX plugin 1.3;
authorwenzelm
Wed Sep 25 16:29:35 2013 +0200 (2013-09-25)
changeset 53886c83727c7a510
parent 53885 44da1f830715
child 53887 ee91bd2a506a
updated documentation concerning MacOSX plugin 1.3;
NEWS
src/Doc/JEdit/JEdit.thy
     1.1 --- a/NEWS	Wed Sep 25 16:21:27 2013 +0200
     1.2 +++ b/NEWS	Wed Sep 25 16:29:35 2013 +0200
     1.3 @@ -57,6 +57,8 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 +* Improved support of native Mac OS X functionality.
     1.8 +
     1.9  * Separate manual "jedit" for Isabelle/jEdit, see isabelle doc or
    1.10  Documentation panel.
    1.11  
     2.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Sep 25 16:21:27 2013 +0200
     2.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Sep 25 16:29:35 2013 +0200
     2.3 @@ -219,11 +219,12 @@
     2.4  
     2.5    \textbf{Workaround:} Use regular re-parenting window manager.
     2.6  
     2.7 -  \item \textbf{Problem:} Mac OS X: the native MacOSX plugin for jEdit tends
     2.8 -  to be disruptive and is off by default. Enabling it might or might not
     2.9 -  improve the user experience.
    2.10 +  \item \textbf{Problem:} The Mac OS X keyboard shortcut @{verbatim
    2.11 +  "COMMAND+COMMA"} for Preferences is in conflict with the jEdit default
    2.12 +  binding for @{verbatim "quick-search"}.
    2.13  
    2.14 -  \textbf{Workaround:} Disable @{verbatim MacOSX} plugin.
    2.15 +  \textbf{Workaround:} Remap in jEdit manually according to national
    2.16 +  keyboard, e.g.\ @{verbatim "COMMAND+SLASH"} on English ones.
    2.17  
    2.18    \item \textbf{Problem:} Mac OS X: Java 7 is officially supported on Lion
    2.19    and Mountain Lion, but not Snow Leopard. It usually works on the latter,