src/Tools/jEdit/src/jedit/Plugin.scala
changeset 34441 ff3b7ae2b12a
parent 34440 561a6d19bd95
child 34443 f2e13329cc49
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Sat Dec 27 14:13:05 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Sat Dec 27 15:03:32 2008 +0100
@@ -36,7 +36,8 @@
     jEdit.setProperty(OPTION_PREFIX + name, value)
 
 
-  // Isabelle symbols
+  // Isabelle system
+  var system: IsabelleSystem = null
   var symbols: Symbol.Interpretation = null
 
 
@@ -130,7 +131,8 @@
   }
 
   override def start() {
-    Isabelle.symbols = new Symbol.Interpretation
+    Isabelle.system = new IsabelleSystem
+    Isabelle.symbols = new Symbol.Interpretation(system)
     Isabelle.plugin = this
     
     if (Isabelle.property("font-path") != null && Isabelle.property("font-size") != null)
@@ -144,7 +146,8 @@
   
   override def stop() {
     // TODO: proper cleanup
+    Isabelle.symbols = null
+    Isabelle.system = null
     Isabelle.plugin = null
-    Isabelle.symbols = null
   }
 }