Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/notebook
browser/view/notebook-find-widget
Module browser/view/notebook-find-widget
Classes
NotebookFindWidget
Interfaces
NotebookEditorFindFilter
NotebookEditorFindMatch
NotebookEditorFindMatchOptions
NotebookEditorFindOptions
NotebookFindWidgetProps
NotebookFindWidgetState
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Classes
Notebook
Find
Widget
Interfaces
Notebook
Editor
Find
Filter
Notebook
Editor
Find
Match
Notebook
Editor
Find
Match
Options
Notebook
Editor
Find
Options
Notebook
Find
Widget
Props
Notebook
Find
Widget
State
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...