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

    Interface SerializableToolRequest

    interface SerializableToolRequest {
        deferred?: boolean;
        id: string;
    }
    Index

    Properties

    deferred? id

    Properties

    deferred?: boolean

    True if this tool reference was marked as deferred.

    id: string

    Settings

    Member Visibility

    On This Page

    Properties