Home
last modified time | relevance | path

Searched defs:RefreshManager (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 DRefreshManager.java31 public class RefreshManager implements IRefreshResult, IManager, Preferences.IPropertyChangeListene… class
41 public RefreshManager(IWorkspace workspace) { in RefreshManager() method in RefreshManager