Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/notebook
browser/view/notebook-find-widget
NotebookFindWidgetProps
Interface NotebookFindWidgetProps
interface
NotebookFindWidgetProps
{
filters
?:
NotebookEditorFindFilter
[]
;
hidden
?:
boolean
;
onClose
()
:
void
;
onReplace
(
matches
:
NotebookEditorFindMatch
[]
,
value
:
string
)
:
void
;
onSearch
(
options
:
NotebookEditorFindMatchOptions
,
)
:
NotebookEditorFindMatch
[]
;
}
Index
Properties
filters?
hidden?
Methods
on
Close
on
Replace
on
Search
Properties
Optional
filters
filters
?:
NotebookEditorFindFilter
[]
Optional
hidden
hidden
?:
boolean
Methods
on
Close
onClose
()
:
void
Returns
void
on
Replace
onReplace
(
matches
:
NotebookEditorFindMatch
[]
,
value
:
string
)
:
void
Parameters
matches
:
NotebookEditorFindMatch
[]
value
:
string
Returns
void
on
Search
onSearch
(
options
:
NotebookEditorFindMatchOptions
)
:
NotebookEditorFindMatch
[]
Parameters
options
:
NotebookEditorFindMatchOptions
Returns
NotebookEditorFindMatch
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
filters
hidden
Methods
on
Close
on
Replace
on
Search
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...