GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
codemirror
CustomTheme
Type Alias CustomTheme
CustomTheme
:
{
fontFamily
:
string
|
null
;
fontSize
:
number
|
null
;
lineHeight
:
number
|
null
;
}
Editor customizable styles
Type declaration
fontFamily
:
string
|
null
Font family
fontSize
:
number
|
null
Font size
lineHeight
:
number
|
null
Line height
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
GitHub
Jupyter
@jupyterlab
Loading...
Editor customizable styles