# HG changeset patch
# User wenzelm
# Date 1308770840 -7200
# Node ID 06951ddfc812e660163ea66d2d7ce054f1135a13
# Parent  270ce5ff20865bf436b818a8250ba3a9e24ac068
clarified plugin start/stop;

diff -r 270ce5ff2086 -r 06951ddfc812 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Wed Jun 22 20:56:18 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Wed Jun 22 21:27:20 2011 +0200
@@ -394,13 +394,15 @@
     Isabelle.system.install_fonts()
     Isabelle.session = new Session(Isabelle.system)
     SyntaxUtilities.setStyleExtender(new Token_Markup.Style_Extender(Isabelle.system.symbols))
-    ModeProvider.instance = new Token_Markup.Mode_Provider(ModeProvider.instance)
+    if (ModeProvider.instance.isInstanceOf[ModeProvider])
+      ModeProvider.instance = new Token_Markup.Mode_Provider(ModeProvider.instance)
     Isabelle.session.phase_changed += session_manager
   }
 
   override def stop()
   {
+    Isabelle.session.phase_changed -= session_manager
+    Isabelle.jedit_buffers.foreach(Isabelle.exit_model)
     Isabelle.session.stop()
-    Isabelle.session.phase_changed -= session_manager
   }
 }