userSearchOptions property

TerminalSearchOptions get userSearchOptions

gets the current user search options

Implementation

TerminalSearchOptions get userSearchOptions;

set userSearchOptions (TerminalSearchOptions options)

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

Implementation

set userSearchOptions(TerminalSearchOptions options);