Theia API Documentation v1.65.0
    Preparing search index...
    interface NotebookFindWidgetState {
        activeFilters: string[];
        currentMatch: number;
        expanded: boolean;
        matchCase: boolean;
        matches: NotebookEditorFindMatch[];
        regex: boolean;
        replace: string;
        search: string;
        wholeWord: boolean;
    }
    Index

    Properties

    activeFilters: string[]
    currentMatch: number
    expanded: boolean
    matchCase: boolean
    regex: boolean
    replace: string
    search: string
    wholeWord: boolean