DocumentDropEditProvider
Provider which handles dropping of resources into a text editor.
This allows users to drag and drop resources (including resources from external apps) into the editor. While dragging and dropping files, users can hold down shift
to drop the file into the editor instead of opening it. Requires editor.dropIntoEditor.enabled
to be on.
Properties
Functions
Link copied to clipboard
abstract fun provideDocumentDropEdits(document: TextDocument, position: Position, dataTransfer: DataTransfer, token: CancellationToken): ProviderResult<JsAny>
Provide edits which inserts the content being dragged and dropped into the document.