terminal/terminal_search library
Classes
- TerminalSearch
- main entry for terminal searches. This class is the factory for search tasks and will cache the search string that gets generated out of the terminal content so that all search tasks created by this search can use the same cached search string
- TerminalSearchHit
- Represents one search hit
- TerminalSearchOptions
- represents options for a terminal search
- TerminalSearchResult
- Represents a search result. This instance will be replaced as a whole when the search has to be re-triggered It stores the hits the search produced and the navigation state inside the search results
- TerminalSearchTask
- represents a search task. A search task can deliver search results based on the given parameters. It takes care to cache the results as long as possible and re-trigger a search on demand only when necessary