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.
Fields
provideDocumentDropEdits(document:TextDocument, position:Position, dataTransfer:DataTransfer, token:CancellationToken):ProviderResult<DocumentDropEdit>
Provide edits which inserts the content being dragged and dropped into the document.
@link DataTransfer} object that holds data about what is being dragged and dropped.
@link DocumentDropEdit} or a thenable that resolves to such. The lack of a result can be
signaled by returning undefined
or null
.
Parameters:
document | The document in which the drop occurred. |
---|---|
position | The position in the document where the drop occurred. |
dataTransfer | A { |
token | A cancellation token. |
Returns:
A {