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

    Interface ServerToolsSection

    Optional "Server Tools" section for the current model's provider. When present, the tree shows a dedicated root category (named after the provider) with a "Server Tools" sub-group. Selections here are stored separately from GenericCapabilitySelections and routed through onChange.

    interface ServerToolsSection {
        onChange: (ids: string[]) => void;
        providerName: string;
        selectedIds: string[];
        tools: ServerToolDescriptor[];
        vendor: string;
    }
    Index

    Properties

    onChange providerName selectedIds tools vendor

    Properties

    onChange: (ids: string[]) => void

    Called when the enabled server tool ids change.

    providerName: string

    Display label for the root category (the current model's provider).

    selectedIds: string[]

    Currently enabled server tool ids.

    tools: ServerToolDescriptor[]

    Server tools offered by the current model.

    vendor: string

    The current model's vendor; used to key the selections.

    Settings

    Member Visibility

    On This Page

    Properties