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.
editor.dropIntoEditor.enabled to be on.
Provide edits which inserts the content being dragged and dropped into the document.
The document in which the drop occurred.
The position in the document where the drop occurred.
A DataTransfer object that holds data about what is being dragged and dropped.
A cancellation token.
A DocumentDropEdit or a thenable that resolves to such. The lack of a result can be
signaled by returning