GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
codemirror
EditorExtensionRegistry
getDefaultExtensions
Function getDefaultExtensions
getDefaultExtensions
(
options
?:
{
themes
?:
IEditorThemeRegistry
;
translator
?:
null
|
ITranslator
;
}
,
)
:
ReadonlyArray
<
Readonly
<
IEditorExtensionFactory
<
any
>
>
>
Get the default editor extensions.
Parameters
options
:
{
themes
?:
IEditorThemeRegistry
;
translator
?:
null
|
ITranslator
}
= {}
Returns
ReadonlyArray
<
Readonly
<
IEditorExtensionFactory
<
any
>
>
>
CodeMirror 6 extension factories
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
GitHub
Jupyter
@jupyterlab
Loading...
Get the default editor extensions.