changeset 39448 | 803431dcc7fb |
parent 39344 | a0d7e9b580ec |
child 39518 | e9a442606db3 |
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 }