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

    Interface DataFromRequest

    interface DataFromRequest {
        errorContentsOrMethod: string;
        pluginID: string;
        timeTaken: number;
    }
    Index

    Properties

    errorContentsOrMethod pluginID timeTaken

    Properties

    errorContentsOrMethod: string
    pluginID: string
    timeTaken: number

    Settings

    Member Visibility

    On This Page

    Properties