# HG changeset patch
# User wenzelm
# Date 1283858205 -7200
# Node ID 803431dcc7fb93a486ae3815d220a91d72f929d4
# Parent  19efc2af3e6ca4ad797c26bcd3b733959790bc87
slightly more robust Plugin.stop -- components might refer to Isabelle.system even after shutdown;

diff -r 19efc2af3e6c -r 803431dcc7fb src/Tools/jEdit/src/jedit/plugin.scala
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Mon Sep 06 22:58:06 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Tue Sep 07 13:16:45 2010 +0200
@@ -286,10 +286,9 @@
     Isabelle.setup_tooltips()
   }
 
-  override def stop()
+  override def stop()  // FIXME fragile
   {
     Isabelle.session.stop()  // FIXME dialog!?
     Isabelle.session = null
-    Isabelle.system = null
   }
 }