Private
_baseProtected
configurationProtected
configurationProtected
defaultProtected
handlersProtected
immutableBase 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
CodeMirror extensions registry