options property
TerminalSearchOptions
get
options
the currently used search options
Implementation
TerminalSearchOptions get options => _terminalSearchOptions;
set
options
(TerminalSearchOptions newOptions)
sets the search options to use
Implementation
set options(TerminalSearchOptions newOptions) {
if (_terminalSearchOptions == newOptions) {
return;
}
_terminalSearchOptions = newOptions;
_invalidate();
}