src/Tools/jEdit/src/jedit/Plugin.scala

--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jun 23 20:16:32 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jun 23 20:49:56 2009 +0200
@@ -38,6 +38,7 @@
   // Isabelle system instance
   var system: IsabelleSystem = null
   def symbols = system.symbols
+  lazy val completion = new Completion + symbols
 
   // settings
   def default_logic = {