# HG changeset patch
# User wenzelm
# Date 1525281509 -7200
# Node ID b91c4acc1aaf8b7d3857ca194c60bb84e99c1ca5
# Parent  63f03ee4057eb3e3a923775bef6d6b042c9fcf6d
clarified menu actions;

diff -r 63f03ee4057e -r b91c4acc1aaf NEWS
--- 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
diff -r 63f03ee4057e -r b91c4acc1aaf src/Doc/JEdit/JEdit.thy
--- 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
diff -r 63f03ee4057e -r b91c4acc1aaf src/Tools/jEdit/src/Isabelle.props
--- 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 \
diff -r 63f03ee4057e -r b91c4acc1aaf src/Tools/jEdit/src/jEdit.props
--- 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