GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
codemirror
EditorThemeRegistry
Namespace EditorThemeRegistry
EditorThemeRegistry namespace
Functions
getDefaultThemes
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Functions
get
Default
Themes
GitHub
Jupyter
@jupyterlab
Loading...
EditorThemeRegistry namespace