Event triggered by extensions to signal to the editor that an edit has occurred on an {@linkcode CustomDocument}.
@linkcode CustomEditorProvider.onDidChangeCustomDocument}.
See also:
{
Fields
undo():EitherType<Thenable<Void>, Void>
Undo the edit operation.
This is invoked by the editor when the user undoes this edit. To implement undo, your
extension should restore the document and editor to the state they were in just before this
edit was added to the editor's internal edit stack by onDidChangeCustomDocument.
redo():EitherType<Thenable<Void>, Void>
Redo the edit operation.
This is invoked by the editor when the user redoes this edit. To implement redo, your
extension should restore the document and editor to the state they were in just after this
edit was added to the editor's internal edit stack by onDidChangeCustomDocument.
optionalfinalread onlylabel:Null<String>
Display name describing the edit.
This will be shown to users in the UI for undo/redo operations.