The options used to initialize a code mirror editor.
The configuration options for the editor.
The host widget used by the editor.
The model used by the editor.
The default selection style for the editor.
The desired uuid for the editor.
Generated using TypeDoc
The options used to initialize a code mirror editor.