OptionalmoveHandle when the underlying resource for a custom editor is renamed.
This allows the webview for the editor be preserved throughout the rename. If this method is not implemented, the editor will destroy the previous custom editor and create a replacement one.
New text document to use for the custom editor.
Webview panel for the custom editor.
A cancellation token that indicates the result is no longer needed.
Thenable indicating that the webview editor has been moved.
Resolve a custom editor for a given text resource.
This is called when a user first opens a resource for a CustomTextEditorProvider, or if they reopen an
existing editor using this CustomTextEditorProvider.
Document for the resource to resolve.
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.
Thenable indicating that the custom editor has been resolved.
Provider for text based custom editors.
Text based custom editors use a
TextDocumentas their data model. This considerably simplifies implementing a custom editor as it allows Theia to handle many common operations such as undo and backup. The provider is responsible for synchronizing text changes between the webview and theTextDocument.