src/Tools/jEdit/src/jedit/plugin.scala
changeset 39628 f6e82967b5cd
parent 39518 96180281c3b2
child 39630 44181423183a
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Thu Sep 23 15:36:03 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Thu Sep 23 16:48:12 2010 +0200
@@ -320,14 +320,12 @@
   {
     Isabelle.system = new Isabelle_System
     Isabelle.system.install_fonts()
-    Isabelle.session = new Session(Isabelle.system)  // FIXME dialog!?
-
+    Isabelle.session = new Session(Isabelle.system)
     Isabelle.setup_tooltips()
   }
 
-  override def stop()  // FIXME fragile
+  override def stop()
   {
-    Isabelle.session.stop()  // FIXME dialog!?
-    Isabelle.session = null
+    Isabelle.session.stop()
   }
 }