# HG changeset patch
# User wenzelm
# Date 1261492949 -3600
# Node ID 297a3324944af7c786485c56ee5befe468378947
# Parent  0330a4284a9b2ebbc711fcde16247f846176b161
tuned;

diff -r 0330a4284a9b -r 297a3324944a 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
diff -r 0330a4284a9b -r 297a3324944a src/Tools/jEdit/src/proofdocument/session.scala
--- a/src/Tools/jEdit/src/proofdocument/session.scala	Tue Dec 22 15:35:30 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/session.scala	Tue Dec 22 15:42:29 2009 +0100
@@ -29,7 +29,7 @@
   private case object Stop
 
   @volatile private var _keywords = new Outer_Keyword(system.symbols)
-  def keywords = _keywords
+  def keywords(): Outer_Keyword = _keywords
 
   private var prover: Isabelle_Process with Isar_Document = null
   private var prover_ready = false