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.