userSearchOptions property

@override TerminalSearchOptions get userSearchOptions

gets the current user search options

Implementation

@override
TerminalSearchOptions get userSearchOptions => _userSearchTask.options;

@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) {
  _userSearchTask.options = options;
  _scrollCurrentHitIntoView();
  refresh();
}