| /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 D | MonitorManager.java | 49 protected final RefreshManager refreshManager; field in MonitorManager
59 public MonitorManager(IWorkspace workspace, RefreshManager refreshManager) { in MonitorManager() argument
61 this.refreshManager = refreshManager; in MonitorManager()
63 pollMonitor = new PollingMonitor(refreshManager); in MonitorManager()
223 refreshManager.refresh(resource); in pathVariableChanged()
261 return provider.installMonitor(resource, refreshManager, progressMonitor); in safeInstallMonitor()
291 new PollingMonitor(refreshManager).runOnce(); in start()
|
| H A D | InternalRefreshProvider.java | 35 RefreshManager refreshManager = workspace.getRefreshManager(); in createPollingMonitor() local
36 MonitorManager monitors = refreshManager.monitors; in createPollingMonitor()
|
| H A D | PollingMonitor.java | 72 private final RefreshManager refreshManager; field in PollingMonitor
83 this.refreshManager = manager; in PollingMonitor()
186 refreshManager.refresh(resource); in poll()
|
| /dports/ftp/pure-ftpd/pure-ftpd-1.0.50/src/ |
| H A D | bonjour.c | 38 void refreshManager(void) in refreshManager() function
50 void refreshManager(void) in refreshManager() function
|
| H A D | bonjour.h | 11 void refreshManager(void);
|
| H A D | ftpd.c | 1478 refreshManager(); in douser()
1957 refreshManager(); in dopass()
5119 refreshManager(); in doit()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/ |
| H A D | Container.java | 76 workspace.refreshManager.refresh(this); in createFilter()
247 workspace.refreshManager.refresh(this); in members()
274 workspace.refreshManager.refresh(this); in removeFilter()
|
| H A D | Workspace.java | 129 protected RefreshManager refreshManager; field in Workspace
1733 return refreshManager; in getRefreshManager()
2216 refreshManager.refresh(getRoot()); in open()
2382 …markerManager, _workManager, aliasManager, refreshManager, contentDescriptionManager, natureManage… in shutdown()
2413 refreshManager = null; in shutdown()
2462 refreshManager = new RefreshManager(this); in startup()
2463 refreshManager.startup(null); in startup()
|
| H A D | Project.java | 1084 workspace.refreshManager.refresh(this); in open()
1093 workspace.refreshManager.refresh(this); in open()
|
| H A D | Resource.java | 670 workspace.refreshManager.refresh(this); in createLink()
2018 workspace.refreshManager.refresh(this); in setLinkLocation()
|
| /dports/textproc/fcitx5/fcitx5-5.0.11/src/ui/classic/ |
| H A D | xcbui.cpp | 224 refreshManager(); in XCBUI()
232 refreshManager(); in XCBUI()
290 refreshManager(); in XCBUI()
467 void XCBUI::refreshManager() { in refreshManager() function in fcitx::classicui::XCBUI
|
| H A D | xcbui.h | 64 void refreshManager();
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.resources/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/localstore/ |
| H A D | FileSystemResourceManager.java | 145 RefreshManager refreshManager = workspace.getRefreshManager(); in asyncRefresh() local
147 if (refreshManager != null) { in asyncRefresh()
148 refreshManager.refresh(target); in asyncRefresh()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/apitools/org.eclipse.pde.api.tools.tests/test-builder/perf/incremental/non-api-struc-change/changed/ |
| H A D | Resource.java | 619 workspace.refreshManager.refresh(this); in createLink()
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/apitools/org.eclipse.pde.api.tools.tests/test-builder/perf/incremental/non-api-struc-change/revert/ |
| H A D | Resource.java | 619 workspace.refreshManager.refresh(this); in createLink()
|