diff -r 1532ab0dc67b -r 349afd0fa0c4 src/Tools/jEdit/src/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Feb 21 15:12:50 2014 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Feb 21 15:22:06 2014 +0100
@@ -159,9 +159,10 @@
       case Some(snapshot) =>
         val root = data.root
         for ((command, command_start) <- snapshot.node.command_range() if !stopped) {
-          Isabelle_Sidekick.swing_markup_tree(
-            snapshot.state.command_state(snapshot.version, command).markup, root,
-              (info: Text.Info[List[XML.Elem]]) =>
+          val markup =
+            snapshot.state.command_state(snapshot.version, command).
+              markup(Command.Markup_Index.markup)
+          Isabelle_Sidekick.swing_markup_tree(markup, root, (info: Text.Info[List[XML.Elem]]) =>
               {
                 val range = info.range + command_start
                 val content = command.source(info.range).replace('\n', ' ')