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

--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 22 15:35:30 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Tue Dec 22 15:42:29 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.keywords().completion
 
     completion.complete(text) match {
       case None => null