changeset 69558 | 101ee69cba49 |
parent 69255 | 800b1ce96fce |
child 70302 | 9ea7081c3f03 |
--- a/src/Tools/VSCode/src/document_model.scala Mon Dec 31 13:07:24 2018 +0100 +++ b/src/Tools/VSCode/src/document_model.scala Mon Dec 31 13:30:57 2018 +0100 @@ -144,7 +144,7 @@ def get_blob: Option[Document.Blob] = if (is_theory) None - else Some((Document.Blob(content.bytes, content.text, content.chunk, pending_edits.nonEmpty))) + else Some(Document.Blob(content.bytes, content.text, content.chunk, pending_edits.nonEmpty)) /* bibtex entries */