public interface SearchOperation
Operation typically begins when the user first starts typing something and a search pane pops up. Operation typically terminates when user completes the search, either by executing a search action on a result, or by closing (i.e. canceling) the search pane without running an action.
| Modifier and Type | Method and Description |
|---|---|
void |
search(String text)
Asynchronously updates the search query.
|
void |
setFuzzy(boolean fuzzy)
Asynchronously toggles whether to perform
"fuzzy"
matching of the query string.
|
void |
terminate()
Asynchronously terminates the search.
|
void terminate()
Intended to be called from the dispatch thread in response to the search pane being closed.
void search(String text)
Searcher plugins will be
reinvoked after some delay, with previous-but-still-running queries
invalidated so the user is not bothered with stale results.
Intended to be called from the dispatch thread in response to the search pane's text field being updated by the user.
text - The query to be searched.void setFuzzy(boolean fuzzy)
Intended to be called from the dispatch thread in response to the search pane's fuzzy matching checkbox being toggled by the user.
fuzzy - Whether the search should perform "fuzzy" matching.Copyright © 2015–2022 SciJava. All rights reserved.