src/Tools/jEdit/src/document_model.scala
changeset 50565 b00ea974613c
parent 50363 2f8dc9e65401
child 52759 a20631db9c8a
     1.1 --- a/src/Tools/jEdit/src/document_model.scala	Sun Dec 16 17:38:16 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/document_model.scala	Sun Dec 16 18:02:28 2012 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  {
     1.5    /* document model of buffer */
     1.6  
     1.7 -  private val key = "isabelle.document_model"
     1.8 +  private val key = "PIDE.document_model"
     1.9  
    1.10    def apply(buffer: Buffer): Option[Document_Model] =
    1.11    {