ProtectedconfigurationProtectedconfigurationProtecteddefaultProtectedhandlersProtectedimmutableBase editor configuration
This is the default configuration optionally modified by the user; e.g. through user settings.
Base editor configuration
This is the default configuration.
Editor configuration JSON schema
Add a default editor extension
Extension factory
Create a new extensions handler for an editor
Extensions options and initial editor configuration
Optionalconfig?: Record<string, any>The configuration options for the editor.
CodeMirror extensions registry