add TextDocument#isClosed, #15723

This commit is contained in:
Johannes Rieken
2017-03-24 12:50:48 +01:00
parent 18d7a48d2c
commit 77d0808a56
2 changed files with 8 additions and 1 deletions

View File

@@ -72,6 +72,7 @@ export class ExtHostDocumentData extends MirrorModel2 {
get isUntitled() { return data._uri.scheme !== 'file'; },
get languageId() { return data._languageId; },
get version() { return data._versionId; },
get isClosed() { return data._isDisposed; },
get isDirty() { return data._isDirty; },
save() { return data._save(); },
getText(range?) { return range ? data._getTextInRange(range) : data.getText(); },