src/Tools/jEdit/src/jedit/isabelle_sidekick.scala

 
     val line = buffer.getLineOfOffset(caret)
     val start = buffer.getLineStartOffset(line)
     val text = buffer.getSegment(start, caret - start)
 
-    val completion = Isabelle.session.current_syntax.completion
+    val completion = Isabelle.session.current_syntax().completion
 
     completion.complete(text) match {
       case None => null
       case Some((word, cs)) =>
         val ds =

     import Isabelle_Sidekick.int_to_pos
 
     val root = data.root
     val snapshot = Swing_Thread.now { model.snapshot() }  // FIXME cover all nodes (!??)
     for {
-      (command, command_start) <- snapshot.node.command_range(0)
+      (command, command_start) <- snapshot.node.command_range()
       if command.is_command && !stopped
     }
     {
       val name = command.name
       val node =

   {
     import Isabelle_Sidekick.int_to_pos
 
     val root = data.root
     val snapshot = Swing_Thread.now { model.snapshot() }  // FIXME cover all nodes (!??)
-    for ((command, command_start) <- snapshot.node.command_range(0) if !stopped) {
+    for ((command, command_start) <- snapshot.node.command_range() if !stopped) {
       snapshot.state(command).markup_root.swing_tree(root)((node: Markup_Tree.Node[Any]) =>
           {
             val content = command.source(node.range).replace('\n', ' ')
             val id = command.id