The options used to create an
The content factory used by the widget to create children.
Defaults to one that uses CodeMirror.
The model used by the widget.
Whether this input area is a placeholder for future rendering.
Whether to send an update request to the editor when it is shown.
Generated using TypeDoc