src/Tools/jEdit/src/jedit/isabelle_sidekick.scala
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