The document that the edit is for.
Display name describing the edit.
This will be shown to users in the UI for undo/redo operations.
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 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
.
友链:VS Code 中文文档 | VS Code 官网文档 | VS Code 扩展市场
Event triggered by extensions to signal to the editor that an edit has occurred on an
CustomDocument
.CustomEditorProvider.onDidChangeCustomDocument
.