userSearchOptions property

@override TerminalSearchOptions get userSearchOptions

gets the current user search options

Implementation

@override
TerminalSearchOptions get userSearchOptions =>
    _lastState?.userSearchOptions ?? TerminalSearchOptions();

@override set userSearchOptions (TerminalSearchOptions options)

sets new user search options. This invalidates the cached search hits and will re-trigger a new search

Implementation

@override
set userSearchOptions(TerminalSearchOptions options) {
  _sendPort?.send([_IsolateCommand.updateSearchOptions, options]);
}