The options used to create an InputArea.
InputArea
The content factory used by the widget to create children.
Defaults to one that uses CodeMirror.
The model used by the widget.
Whether to send an update request to the editor when it is shown.
Generated using TypeDoc
The options used to create an
InputArea
.