Merge branch 'master' into joh/e5host

This commit is contained in:
Johannes Rieken
2019-08-12 15:13:46 +02:00
committed by GitHub
45 changed files with 3380 additions and 3193 deletions

View File

@@ -50,7 +50,7 @@ export class ExtHostDocumentContentProvider implements ExtHostDocumentContentPro
}
if (this._documentsAndEditors.getDocument(uri)) {
this.$provideTextDocumentContent(handle, uri).then(value => {
if (!value) {
if (!value && typeof value !== 'string') {
return;
}