changeset 34819 | 86cb7f8e5a0d |
parent 34802 | 006331f2b128 |
child 34823 | 2f3ea37c5958 |
--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Wed Dec 30 21:34:33 2009 +0100 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala Wed Dec 30 21:57:29 2009 +0100 @@ -85,7 +85,7 @@ val start = buffer.getLineStartOffset(line) val text = buffer.getSegment(start, caret - start) - val completion = Isabelle.session.syntax().completion + val completion = Isabelle.session.current_syntax.completion completion.complete(text) match { case None => null