options property
TextEditorOptions
get
options
The new value for the {@link TextEditor.optionstext editor's options}.
Implementation
_i3.TextEditorOptions get options => _i5.getProperty(
this,
'options',
);