GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
documentsearch
IFilters
Interface IFilters
Type of filters
TODO support additional filter type
interface
IFilters
{
[
key
:
string
]
:
boolean
;
}
Indexable
[
key:
string
]:
boolean
Filter name: value
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
@jupyterlab
Loading...
Type of filters
TODO support additional filter type