clarified menu actions;
authorwenzelm
Wed May 02 19:18:29 2018 +0200 (14 months ago)
changeset 68067b91c4acc1aaf
parent 68066 63f03ee4057e
child 68068 0acf3206a723
clarified menu actions;
NEWS
src/Doc/JEdit/JEdit.thy
src/Tools/jEdit/src/Isabelle.props
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/NEWS	Wed May 02 17:35:51 2018 +0200
     1.2 +++ b/NEWS	Wed May 02 19:18:29 2018 +0200
     1.3 @@ -110,7 +110,8 @@
     1.4  notably bibtex database files and ML files.
     1.5  
     1.6  * Action "isabelle.draft" is similar to "isabelle.preview", but shows a
     1.7 -plain-text document draft.
     1.8 +plain-text document draft. Both are available via the menu "Plugins /
     1.9 +Isabelle".
    1.10  
    1.11  * When loading text files, the Isabelle symbols encoding UTF-8-Isabelle
    1.12  is only used if there is no conflict with existing Unicode sequences in
     2.1 --- a/src/Doc/JEdit/JEdit.thy	Wed May 02 17:35:51 2018 +0200
     2.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed May 02 19:18:29 2018 +0200
     2.3 @@ -73,9 +73,9 @@
     2.4    Isabelle/jEdit (\figref{fig:isabelle-jedit}) consists of some plugins for
     2.5    the jEdit text editor, while preserving its general look-and-feel as far as
     2.6    possible. The main plugin is called ``Isabelle'' and has its own menu
     2.7 -  \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several panels (see also
     2.8 -  \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/ Isabelle\<close>
     2.9 -  (see also \secref{sec:options}).
    2.10 +  \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several actions and add-on panels (see
    2.11 +  also \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/
    2.12 +  Isabelle\<close> (see also \secref{sec:options}).
    2.13  
    2.14    The options allow to specify a logic session name, but the same selector is
    2.15    also accessible in the \<^emph>\<open>Theories\<close> panel (\secref{sec:theories}). After
     3.1 --- a/src/Tools/jEdit/src/Isabelle.props	Wed May 02 17:35:51 2018 +0200
     3.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Wed May 02 19:18:29 2018 +0200
     3.3 @@ -30,6 +30,9 @@
     3.4  #menu actions and dockables
     3.5  plugin.isabelle.jedit.Plugin.menu.label=Isabelle
     3.6  plugin.isabelle.jedit.Plugin.menu= \
     3.7 +  isabelle.preview \
     3.8 +  isabelle.draft \
     3.9 +  - \
    3.10    isabelle-debugger \
    3.11    isabelle-documentation \
    3.12    isabelle-monitor \
     4.1 --- a/src/Tools/jEdit/src/jEdit.props	Wed May 02 17:35:51 2018 +0200
     4.2 +++ b/src/Tools/jEdit/src/jEdit.props	Wed May 02 19:18:29 2018 +0200
     4.3 @@ -215,6 +215,7 @@
     4.4  isabelle.decrease-font-size.shortcut2=C+SUBTRACT
     4.5  isabelle.decrease-font-size.shortcut=C+MINUS
     4.6  isabelle.decrease-font-size2.label=Decrease font size (clone)
     4.7 +isabelle.draft.label=Show draft in browser
     4.8  isabelle.exclude-word-permanently.label=Exclude word permanently
     4.9  isabelle.exclude-word.label=Exclude word
    4.10  isabelle.include-word-permanently.label=Include word permanently
    4.11 @@ -227,7 +228,7 @@
    4.12  isabelle.newline.label=Newline with indentation of Isabelle keywords
    4.13  isabelle.newline.shortcut=ENTER
    4.14  isabelle.options.label=Isabelle options
    4.15 -isabelle.preview.label=HTML preview of PIDE document
    4.16 +isabelle.preview.label=Show preview in browser
    4.17  isabelle.reset-continuous-checking.label=Reset continuous checking
    4.18  isabelle.reset-font-size.label=Reset font size
    4.19  isabelle.reset-node-required.label=Reset node required