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

    Interface WorkspaceTextEdit

    interface WorkspaceTextEdit {
        metadata?: WorkspaceEditMetadata;
        modelVersionId?: number;
        resource: UriComponents;
        textEdit: TextEdit;
    }
    Index

    Properties

    metadata? modelVersionId? resource textEdit

    Properties

    metadata?: WorkspaceEditMetadata
    modelVersionId?: number
    resource: UriComponents
    textEdit: TextEdit

    Settings

    Member Visibility

    On This Page

    Properties