public interface SearchListener
Searcher completes a search and
produces results.| Modifier and Type | Method and Description |
|---|---|
void |
searchCompleted(SearchEvent event)
Invoked when a search is completed.
|
void searchCompleted(SearchEvent event)
Copyright © 2015–2022 SciJava. All rights reserved.