CodeMirror extension factory options
The code editor.
Whether the editor will be inline or not.
The model used by the editor.
A path to a source file.
The widget lsp adapter.
CodeMirror extension factory options