Theia API Documentation v1.65.0
    Preparing search index...

    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.

    interface DocumentDropEditProvider<
        T extends DocumentDropEdit = DocumentDropEdit,
    > {
        provideDocumentDropEdits(
            document: TextDocument,
            position: Position,
            dataTransfer: DataTransfer,
            token: CancellationToken,
        ): ProviderResult<T | T[]>;
        resolveDocumentDropEdit?(
            edit: T,
            token: CancellationToken,
        ): ProviderResult<T>;
    }

    Type Parameters

    Index

    Methods