src/Tools/jEdit/src/jedit/Plugin.scala
changeset 34612 5a03dc7a19e1
parent 34503 7d0726f19d04
child 34615 5e61055bf35b
--- 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 = {