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