Theia API Documentation v1.65.0
    Preparing search index...
    interface NotebookEditorFindMatchOptions {
        activeFilters: string[];
        matchCase: boolean;
        regex: boolean;
        search: string;
        wholeWord: boolean;
    }
    Index

    Properties

    activeFilters: string[]
    matchCase: boolean
    regex: boolean
    search: string
    wholeWord: boolean