Home
last modified time | relevance | path

Searched defs:resourcesToMonitor (Results 1 – 1 of 1) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/refresh/
H A DMonitorManager.java102 final List<IResource> resourcesToMonitor = new ArrayList<>(10); in getResourcesToMonitor() local
275 List<IResource> resourcesToMonitor = getResourcesToMonitor(); in start() local