Introduce event on input to indicate dirty state change (fixes #6953)

This commit is contained in:
Benjamin Pasero
2016-05-31 12:33:13 +02:00
parent afbe654bdd
commit c8680b8f26
15 changed files with 252 additions and 161 deletions

View File

@@ -57,6 +57,9 @@ export class DiffEditorInput extends BaseDiffEditorInput {
this.dispose();
}
}));
// When the modified model gets dirty, re-emit this to the outside
this._toUnbind.push(this.modifiedInput.onDidChangeDirty(() => this._onDidChangeDirty.fire()));
}
public get toUnbind() {