changeset 67265 | f32287c95432 |
parent 67014 | e6a695d6a6b2 |
child 67292 | 386ddccfccbf |
--- a/src/Tools/VSCode/src/document_model.scala Fri Dec 22 20:15:16 2017 +0100 +++ b/src/Tools/VSCode/src/document_model.scala Fri Dec 22 21:05:54 2017 +0100 @@ -143,7 +143,7 @@ def get_blob: Option[Document.Blob] = if (is_theory) None - else Some((Document.Blob(content.bytes, content.chunk, pending_edits.nonEmpty))) + else Some((Document.Blob(content.bytes, content.text, content.chunk, pending_edits.nonEmpty))) /* bibtex entries */