--- a/NEWS Wed May 02 17:35:51 2018 +0200
+++ b/NEWS Wed May 02 19:18:29 2018 +0200
@@ -110,7 +110,8 @@
notably bibtex database files and ML files.
* Action "isabelle.draft" is similar to "isabelle.preview", but shows a
-plain-text document draft.
+plain-text document draft. Both are available via the menu "Plugins /
+Isabelle".
* When loading text files, the Isabelle symbols encoding UTF-8-Isabelle
is only used if there is no conflict with existing Unicode sequences in
--- a/src/Doc/JEdit/JEdit.thy Wed May 02 17:35:51 2018 +0200
+++ b/src/Doc/JEdit/JEdit.thy Wed May 02 19:18:29 2018 +0200
@@ -73,9 +73,9 @@
Isabelle/jEdit (\figref{fig:isabelle-jedit}) consists of some plugins for
the jEdit text editor, while preserving its general look-and-feel as far as
possible. The main plugin is called ``Isabelle'' and has its own menu
- \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several panels (see also
- \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/ Isabelle\<close>
- (see also \secref{sec:options}).
+ \<^emph>\<open>Plugins~/ Isabelle\<close> with access to several actions and add-on panels (see
+ also \secref{sec:dockables}), as well as \<^emph>\<open>Plugins~/ Plugin Options~/
+ Isabelle\<close> (see also \secref{sec:options}).
The options allow to specify a logic session name, but the same selector is
also accessible in the \<^emph>\<open>Theories\<close> panel (\secref{sec:theories}). After
--- a/src/Tools/jEdit/src/Isabelle.props Wed May 02 17:35:51 2018 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props Wed May 02 19:18:29 2018 +0200
@@ -30,6 +30,9 @@
#menu actions and dockables
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
plugin.isabelle.jedit.Plugin.menu= \
+ isabelle.preview \
+ isabelle.draft \
+ - \
isabelle-debugger \
isabelle-documentation \
isabelle-monitor \
--- a/src/Tools/jEdit/src/jEdit.props Wed May 02 17:35:51 2018 +0200
+++ b/src/Tools/jEdit/src/jEdit.props Wed May 02 19:18:29 2018 +0200
@@ -215,6 +215,7 @@
isabelle.decrease-font-size.shortcut2=C+SUBTRACT
isabelle.decrease-font-size.shortcut=C+MINUS
isabelle.decrease-font-size2.label=Decrease font size (clone)
+isabelle.draft.label=Show draft in browser
isabelle.exclude-word-permanently.label=Exclude word permanently
isabelle.exclude-word.label=Exclude word
isabelle.include-word-permanently.label=Include word permanently
@@ -227,7 +228,7 @@
isabelle.newline.label=Newline with indentation of Isabelle keywords
isabelle.newline.shortcut=ENTER
isabelle.options.label=Isabelle options
-isabelle.preview.label=HTML preview of PIDE document
+isabelle.preview.label=Show preview in browser
isabelle.reset-continuous-checking.label=Reset continuous checking
isabelle.reset-font-size.label=Reset font size
isabelle.reset-node-required.label=Reset node required