Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper uninstall;
authorwenzelm
Fri, 11 Dec 2009 22:40:55 +0100
changeset 34779 d1040b77b189
parent 34778 8eccd35e975e
child 34780 d0ff1c3a91ea
proper uninstall;
src/Tools/jEdit/src/jedit/plugin.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Fri Dec 11 22:25:28 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Fri Dec 11 22:40:55 2009 +0100
@@ -94,7 +94,8 @@
   private def uninstall(view: View)
   {
     val buffer = view.getBuffer
-    mapping(buffer).deactivate
+    Isabelle.session.stop()
+    mapping(buffer).deactivate()
     mapping -= buffer
   }
isabelle