Type of the custom document returned by this provider.
Signal that an edit has occurred inside a custom editor.
This event must be fired by your extension whenever an edit happens in a custom editor. An edit can be anything from changing some text, to cropping an image, to reordering a list. Your extension is free to define what an edit is and what data is stored on each edit.
Firing onDidChange causes Theia to mark the editors as being dirty. This is cleared when the user either
saves or reverts the file.
Editors that support undo/redo must fire a CustomDocumentEditEvent whenever an edit happens. This allows
users to undo and redo the edit using Theia's standard Theia keyboard shortcuts. Theia will also mark
the editor as no longer being dirty if the user undoes all edits to the last saved state.
Editors that support editing but cannot use Theia's standard undo/redo mechanism must fire a CustomDocumentContentChangeEvent.
The only way for a user to clear the dirty state of an editor that does not support undo/redo is to either
save or revert the file.
An editor should only ever fire CustomDocumentEditEvent events, or only ever fire CustomDocumentContentChangeEvent events.
Back up a dirty custom document.
Backups are used for hot exit and to prevent data loss. Your backup method should persist the resource in
its current state, i.e. with the edits applied. Most commonly this means saving the resource to disk in
the ExtensionContext.storagePath. When VS Code reloads and your custom editor is opened for a resource,
your extension should first check to see if any backups exist for the resource. If there is a backup, your
extension should load the file contents from there instead of from the resource in the workspace.
backup is triggered approximately one second after the user stops editing the document. If the user
rapidly edits the document, backup will not be invoked until the editing stops.
backup is not invoked when auto save is enabled (since auto save already persists the resource).
Document to backup.
Information that can be used to backup the document.
Token that signals the current backup since a new backup is coming in. It is up to your extension to decided how to respond to cancellation. If for example your extension is backing up a large file in an operation that takes time to complete, your extension may decide to finish the ongoing backup rather than cancelling it to ensure that VS Code has some valid backup.
Create a new document for a given resource.
openCustomDocument is called when the first time an editor for a given resource is opened. The opened
document is then passed to resolveCustomEditor so that the editor can be shown to the user.
Already opened CustomDocument are re-used if the user opened additional editors. When all editors for a
given resource are closed, the CustomDocument is disposed of. Opening an editor at this point will
trigger another call to openCustomDocument.
Uri of the document to open.
Additional information about the opening custom document.
A cancellation token that indicates the result is no longer needed.
The custom document.
Resolve a custom editor for a given resource.
This is called whenever the user opens a new editor for this CustomEditorProvider.
Document for the resource being resolved.
The webview panel used to display the editor UI for this resource.
During resolve, the provider must fill in the initial html for the content webview panel and hook up all
the event listeners on it that it is interested in. The provider can also hold onto the WebviewPanel to
use later for example in a command. See WebviewPanel for additional details.
A cancellation token that indicates the result is no longer needed.
Optional thenable indicating that the custom editor has been resolved.
Revert a custom document to its last saved state.
This method is invoked by Theia when the user triggers File: Revert File in a custom editor. (Note that
this is only used using Theia's File: Revert File command and not on a git revert of the file).
To implement revert, the implementer must make sure all editor instances (webviews) for document
are displaying the document in the same state is saved in. This usually means reloading the file from the
workspace.
Document to revert.
Token that signals the revert is no longer required.
Thenable signaling that the change has completed.
Save a custom document.
This method is invoked by Theia when the user saves a custom editor. This can happen when the user
triggers save while the custom editor is active, by commands such as save all, or by auto save if enabled.
To implement save, the implementer must persist the custom editor. This usually means writing the
file data for the custom document to disk. After save completes, any associated editor instances will
no longer be marked as dirty.
Document to save.
Token that signals the save is no longer required (for example, if another save was triggered).
Thenable signaling that saving has completed.
Save a custom document to a different location.
This method is invoked by Theia when the user triggers 'save as' on a custom editor. The implementer must
persist the custom editor to destination.
When the user accepts save as, the current editor is be replaced by an non-dirty editor for the newly saved file.
Document to save.
Location to save to.
Token that signals the save is no longer required.
Thenable signaling that saving has completed.
Provider for editable custom editors that use a custom document model.
Custom editors use
CustomDocumentas their document model instead of aTextDocument. This gives extensions full control over actions such as edit, save, and backup.You should use this type of custom editor when dealing with binary files or more complex scenarios. For simple text based documents, use
CustomTextEditorProviderinstead.