The options used to initialize a code editor widget.
The configuration options for the editor.
A code editor factory.
The widget needs a factory and a model instead of a
object because it needs to provide its own node as the host.
The model used to initialize the code editor.
The default selection style for the editor.
Whether to send an update request to the editor when it is shown.
The desired uuid for the editor.
Generated using TypeDoc