editor - add and adopt revert()

This commit is contained in:
Benjamin Pasero
2019-11-19 07:40:22 +01:00
parent 1c9fd8a597
commit 4a42a6436e
9 changed files with 59 additions and 29 deletions

View File

@@ -334,6 +334,9 @@ export interface IRevertOptions {
/**
* A soft revert will clear dirty state of a working copy
* but will not attempt to load it from its persisted state.
*
* This option may be used in scenarios where an editor is
* closed and where we do not require to load the contents.
*/
soft?: boolean;
}