Theia API Documentation v1.65.0
    Preparing search index...
    interface NotebookKernelMatchResult {
        all: NotebookKernel[];
        hidden: NotebookKernel[];
        selected: undefined | NotebookKernel;
        suggestions: NotebookKernel[];
    }
    Index

    Properties

    hidden: NotebookKernel[]
    selected: undefined | NotebookKernel
    suggestions: NotebookKernel[]