src/Tools/jEdit/src/jedit/isabelle_sidekick.scala
changeset 34819 86cb7f8e5a0d
parent 34802 006331f2b128
child 34823 2f3ea37c5958
equal deleted inserted replaced
34818:7df68a8f0e3e 34819:86cb7f8e5a0d
    83 
    83 
    84     val line = buffer.getLineOfOffset(caret)
    84     val line = buffer.getLineOfOffset(caret)
    85     val start = buffer.getLineStartOffset(line)
    85     val start = buffer.getLineStartOffset(line)
    86     val text = buffer.getSegment(start, caret - start)
    86     val text = buffer.getSegment(start, caret - start)
    87 
    87 
    88     val completion = Isabelle.session.syntax().completion
    88     val completion = Isabelle.session.current_syntax.completion
    89 
    89 
    90     completion.complete(text) match {
    90     completion.complete(text) match {
    91       case None => null
    91       case None => null
    92       case Some((word, cs)) =>
    92       case Some((word, cs)) =>
    93         val ds =
    93         val ds =