src/Tools/jEdit/src/jedit/Plugin.scala
changeset 34612 5a03dc7a19e1
parent 34503 7d0726f19d04
child 34615 5e61055bf35b
     1.1 --- a/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jun 23 20:16:32 2009 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jun 23 20:49:56 2009 +0200
     1.3 @@ -38,6 +38,7 @@
     1.4    // Isabelle system instance
     1.5    var system: IsabelleSystem = null
     1.6    def symbols = system.symbols
     1.7 +  lazy val completion = new Completion + symbols
     1.8  
     1.9    // settings
    1.10    def default_logic = {