Home
last modified time | relevance | path

Searched refs:engineObserver (Results 1 – 1 of 1) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/
H A DSearchPart.java124 private Observer engineObserver; field in SearchPart
424 engineObserver = (o, arg) -> { in loadEngines()
440 descManager.addObserver(engineObserver); in loadEngines()
684 if (engineObserver != null) { in dispose()
685 parent.getEngineManager().deleteObserver(engineObserver); in dispose()
686 engineObserver = null; in dispose()