DragEventHandlerOptionsOptions for DragEventHandler. interface DragEventHandlerOptions {event: DragEvent;pos: number;view: EditorView;}§Properties§event: DragEvent[src]The dragover event. §pos: number[src]The drop position in current document. §view: EditorView[src]The editor's view.