src/Tools/jEdit/src/jedit/isabelle_sidekick.scala
changeset 38417 b8922ae21111
parent 38414 49f1f657adc2
child 38426 2858ec7b6dd8
     1.1 --- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Sun Aug 15 13:17:45 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Sun Aug 15 14:18:52 2010 +0200
     1.3 @@ -95,9 +95,9 @@
     1.4      import Isabelle_Sidekick.int_to_pos
     1.5  
     1.6      val root = data.root
     1.7 -    val doc = Swing_Thread.now { model.snapshot().node }  // FIXME cover all nodes (!??)
     1.8 +    val snapshot = Swing_Thread.now { model.snapshot() }  // FIXME cover all nodes (!??)
     1.9      for {
    1.10 -      (command, command_start) <- doc.command_range(0)
    1.11 +      (command, command_start) <- snapshot.node.command_range(0)
    1.12        if command.is_command && !stopped
    1.13      }
    1.14      {
    1.15 @@ -113,8 +113,7 @@
    1.16            override def getStart: Position = command_start
    1.17            override def setEnd(end: Position) = ()
    1.18            override def getEnd: Position = command_start + command.length
    1.19 -          override def toString = name
    1.20 -        })
    1.21 +          override def toString = name})
    1.22        root.add(node)
    1.23      }
    1.24    }