--- a/src/Doc/JEdit/JEdit.thy Wed Jul 23 21:02:45 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy Wed Jul 23 23:08:22 2014 +0200
@@ -184,6 +184,9 @@
settings variable @{setting ISABELLE_BUILD_OPTIONS} to change defaults for
batch builds without affecting Isabelle/jEdit.
+ The jEdit action @{action_def isabelle.options} opens the options dialog for
+ the Isabelle plugin; it can be mapped to editor GUI elements as usual.
+
\medskip Options are usually loaded on startup and saved on shutdown of
Isabelle/jEdit. Editing the machine-generated @{file_unchecked
"$ISABELLE_HOME_USER/jedit/properties"} or @{file_unchecked