The editor factory used by the content factory.
If this is not passed, a default CodeMirror editor factory will be used.
Create a new cell header for the parent widget.
Create a new cell header for the parent widget.
Create an input prompt.
Create an output prompt.
Create an stdin widget.
Generated using TypeDoc
Options for the content factory. An initialize options for
ContentFactory
.