slightly more robust Plugin.stop -- components might refer to Isabelle.system even after shutdown;
1.1 --- a/src/Tools/jEdit/src/jedit/plugin.scala Mon Sep 06 22:58:06 2010 +0200
1.2 +++ b/src/Tools/jEdit/src/jedit/plugin.scala Tue Sep 07 13:16:45 2010 +0200
1.3 @@ -286,10 +286,9 @@
1.4 Isabelle.setup_tooltips()
1.5 }
1.6
1.7 - override def stop()
1.8 + override def stop() // FIXME fragile
1.9 {
1.10 Isabelle.session.stop() // FIXME dialog!?
1.11 Isabelle.session = null
1.12 - Isabelle.system = null
1.13 }
1.14 }