1.1 --- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Mon Jan 11 18:28:31 2010 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Mon Jan 11 20:51:58 2010 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4        case Some(model) =>
     1.5          val document = model.recent_document()
     1.6          for ((command, command_start) <- document.command_range(0) if !stopped) {
     1.7 -          root.add(document.current_state(command).markup_root.swing_tree((node: Markup_Node) =>
     1.8 +          root.add(document.current_state(command).get.markup_root.swing_tree((node: Markup_Node) =>
     1.9                {
    1.10                  val content = command.source(node.start, node.stop)
    1.11                  val id = command.id