--- a/src/Tools/jEdit/src/isabelle_sidekick.scala Wed Mar 26 21:01:09 2014 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala Thu Mar 27 10:43:43 2014 +0100
@@ -160,8 +160,7 @@
val root = data.root
for ((command, command_start) <- snapshot.node.command_range() if !stopped) {
val markup =
- snapshot.state.command_state(snapshot.version, command).
- markup(Command.Markup_Index.markup)
+ snapshot.state.command_markup(snapshot.version, command, Command.Markup_Index.markup)
Isabelle_Sidekick.swing_markup_tree(markup, root, (info: Text.Info[List[XML.Elem]]) =>
{
val range = info.range + command_start