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