Theia API Documentation v1.65.0
    Preparing search index...
    interface NotebookEditorFindOptions {
        jumpToMatch?: boolean;
        matchCase?: boolean;
        modifyIndex?: (matches: NotebookEditorFindMatch[], index: number) => number;
        regex?: boolean;
        search?: string;
        wholeWord?: boolean;
    }
    Index

    Properties

    jumpToMatch?: boolean
    matchCase?: boolean
    modifyIndex?: (matches: NotebookEditorFindMatch[], index: number) => number
    regex?: boolean
    search?: string
    wholeWord?: boolean