GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
settingeditor
SettingsEditor
PluginSearchFilter
Type alias PluginSearchFilter
Plugin
Search
Filter
:
(
(
plugin
)
=>
string
[]
|
null
)
|
null
Type declaration
(
plugin
)
:
string
[]
|
null
Parameters
plugin
:
IPlugin
Returns
string
[]
|
null
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
@jupyterlab
Loading...