Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit/document_model.scala
changeset 39636 610dc743932c
parent 39179 591bbab9ef59
child 40474 576b88b1dce9 
--- a/src/Tools/jEdit/src/jedit/document_model.scala	Fri Sep 24 00:00:21 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/document_model.scala	Fri Sep 24 14:12:33 2010 +0200
@@ -98,7 +98,7 @@
   {
     Swing_Thread.require()
     apply(buffer) match {
-      case None => error("No document model for buffer: " + buffer)
+      case None =>
       case Some(model) =>
         model.deactivate()
         buffer.unsetProperty(key)
isabelle