Search
Preparing search index…
The search index is not available
JupyterLab
Options
All
Public
Public/Protected
All
Inherited
Externals
Only exported
Menu
@jupyterlab
documentsearch-extension
Module documentsearch-extension
Index
Properties
default
Properties
default
default
:
(
JupyterFrontEndPlugin
<
void
,
IShell
,
"desktop"
|
"mobile"
>
|
JupyterFrontEndPlugin
<
ISearchProviderRegistry
,
IShell
,
"desktop"
|
"mobile"
>
)
[]
Modules
documentsearch-
extension
default
Generated using
TypeDoc