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

    Interface VariablePickStringInput

    interface VariablePickStringInput {
        default?: string;
        description: string;
        id: string;
        options: string[];
        type: "pickString";
    }
    Index

    Properties

    default? description id options type

    Properties

    default?: string
    description: string
    id: string
    options: string[]
    type: "pickString"

    Settings

    Member Visibility

    On This Page

    Properties