# HG changeset patch
# User wenzelm
# Date 1403036298 -7200
# Node ID e13c5dd9c7de2b0e743bd8be34edd63f14a48b49
# Parent  f911187ada438c05b9095a655dae67ab376a4390
added screenshot;

diff -r f911187ada43 -r e13c5dd9c7de src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Tue Jun 17 22:00:25 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Tue Jun 17 22:18:18 2014 +0200
@@ -540,10 +540,18 @@
   The \emph{SideKick} plugin provides some general services to display buffer
   structure in a tree view.
 
-  Isabelle/jEdit provides SideKick parsers for its main mode for
-  theory files, as well as some minor modes for the @{verbatim NEWS}
-  file, session @{verbatim ROOT} files, and system @{verbatim
-  options}.
+  Isabelle/jEdit provides SideKick parsers for its main mode for theory files,
+  as well as some minor modes for the @{verbatim NEWS} file (see
+  \figref{fig:sidekick}), session @{verbatim ROOT} files, and system
+  @{verbatim options}.
+
+  \begin{figure}[htb]
+  \begin{center}
+  \includegraphics[scale=0.333]{sidekick}
+  \end{center}
+  \caption{The Isabelle NEWS file with SideKick tree view}
+  \label{fig:sidekick}
+  \end{figure}
 
   Moreover, the special SideKick parser @{verbatim "isabelle-markup"}
   provides access to the full (uninterpreted) markup tree of the PIDE
diff -r f911187ada43 -r e13c5dd9c7de src/Doc/JEdit/document/sidekick.png
Binary file src/Doc/JEdit/document/sidekick.png has changed
diff -r f911187ada43 -r e13c5dd9c7de src/Doc/ROOT
--- a/src/Doc/ROOT	Tue Jun 17 22:00:25 2014 +0200
+++ b/src/Doc/ROOT	Tue Jun 17 22:18:18 2014 +0200
@@ -186,6 +186,7 @@
     "popup1.png"
     "popup2.png"
     "root.tex"
+    "sidekick.png"
     "sledgehammer.png"
 
 session Sugar (doc) in "Sugar" = HOL +