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

    Interface DocumentDropEdit

    interface DocumentDropEdit {
        additionalEdit?: WorkspaceEdit;
        insertText: string | SnippetString;
    }
    Index

    Properties

    additionalEdit? insertText

    Properties

    additionalEdit?: WorkspaceEdit
    insertText: string | SnippetString

    Settings

    Member Visibility

    On This Page

    Properties