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