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

    Interface GenericCapabilitiesTreeProps

    interface GenericCapabilitiesTreeProps {
        availableCapabilities: AvailableGenericCapabilities;
        disabled?: boolean;
        disabledCapabilities: GenericCapabilitySelections;
        genericCapabilities: GenericCapabilitySelections;
        hoverService: HoverService;
        onGenericCapabilityChange: (
            type: keyof GenericCapabilitySelections,
            ids: string[],
        ) => void;
        onResetGenericCapabilities: () => void;
        serverTools?: ServerToolsSection;
    }
    Index

    Properties

    availableCapabilities disabled? disabledCapabilities genericCapabilities hoverService onGenericCapabilityChange onResetGenericCapabilities serverTools?

    Properties

    availableCapabilities: AvailableGenericCapabilities

    Available capabilities to select from

    disabled?: boolean

    Whether the section is disabled

    disabledCapabilities: GenericCapabilitySelections

    Items already in the agent prompt that should be disabled/greyed

    genericCapabilities: GenericCapabilitySelections

    Current generic capability selections

    hoverService: HoverService

    Hover service for tooltips

    onGenericCapabilityChange: (
        type: keyof GenericCapabilitySelections,
        ids: string[],
    ) => void

    Called when a capability type's selection changes

    onResetGenericCapabilities: () => void

    Called to reset all generic capabilities to stored defaults

    serverTools?: ServerToolsSection

    Optional server tools section for the current model's provider

    Settings

    Member Visibility

    On This Page

    Properties