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 undefined or null.
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
shiftto drop the file into the editor instead of opening it. Requireseditor.dropIntoEditor.enabledto be on.