--- a/src/Doc/JEdit/JEdit.thy Sun Nov 03 16:22:57 2013 +0100
+++ b/src/Doc/JEdit/JEdit.thy Sun Nov 03 16:37:54 2013 +0100
@@ -877,7 +877,16 @@
modifier key as explained in \secref{sec:tooltips-hyperlinks}.
Actual display of timing depends on the global option
@{system_option jedit_timing_threshold}, which can be configured in
- "Plugin Options / Isabelle / General". *}
+ "Plugin Options / Isabelle / General".
+
+ \medskip The \emph{Monitor} panel provides a general impression of
+ recent activity of the farm of worker threads in Isabelle/ML. Its
+ display is continuously updated according to @{system_option
+ editor_chart_delay}. Note that the painting of the chart takes
+ considerable runtime itself --- on the Java Virtual Machine that
+ runs Isabelle/Scala, not Isabelle/ML. Internally, the
+ Isabelle/Scala module @{verbatim isabelle.ML_Statistics} provides
+ further access runtime statistics of Isabelle/ML. *}
section {* Isabelle/Scala console *}