Theia API Documentation v1.75.0
    Preparing search index...
    AiEditInSettingsButton: React.FC<
        {
            ariaLabel: string;
            disabled?: boolean;
            label: string;
            onClick: () => void;
        },
    > = ...

    A button that hands editing off to the settings.json file. Used for preferences whose value is a complex object (or array of objects) that cannot be edited meaningfully through an inline control; clicking it opens settings.json focused on the preference, mirroring the Settings view's "Edit in settings.json" link.