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.
tuned property name;
authorwenzelm
Sun, 16 Dec 2012 18:02:28 +0100
changeset 50565 b00ea974613c
parent 50564 c6fde2fc4217
child 50566 b43c4f660320
tuned property name;
src/Tools/jEdit/src/document_model.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/document_model.scala	Sun Dec 16 17:38:16 2012 +0100
+++ b/src/Tools/jEdit/src/document_model.scala	Sun Dec 16 18:02:28 2012 +0100
@@ -23,7 +23,7 @@
 {
   /* document model of buffer */
 
-  private val key = "isabelle.document_model"
+  private val key = "PIDE.document_model"
 
   def apply(buffer: Buffer): Option[Document_Model] =
   {
isabelle