Theia API Documentation v1.65.0
    Preparing search index...
    interface Options {
        excludePatterns?: string[];
        fuzzyMatch?: boolean;
        includePatterns?: string[];
        limit?: number;
        rootOptions?: RootOptions;
        rootUris?: string[];
        useGitIgnore?: boolean;
    }

    Hierarchy (View Summary)

    Index

    Properties

    excludePatterns?: string[]
    fuzzyMatch?: boolean
    includePatterns?: string[]
    limit?: number
    rootOptions?: RootOptions
    rootUris?: string[]
    useGitIgnore?: boolean