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

--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 22 17:31:31 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 22 19:39:17 2009 +0100
@@ -85,7 +85,7 @@
     val start = buffer.getLineStartOffset(line)
     val text = buffer.getSegment(start, caret - start)
 
-    val completion = Isabelle.session.keywords().completion
+    val completion = Isabelle.session.syntax().completion
 
     completion.complete(text) match {
       case None => null