Home
last modified time | relevance | path

Searched refs:workspaceRegistration (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/resources/
H A DResourcesPlugin.java358 private ServiceRegistration<IWorkspace> workspaceRegistration; field in ResourcesPlugin
454 if (workspaceRegistration != null) { in stop()
455 workspaceRegistration.unregister(); in stop()
464 workspaceRegistration = null; in stop()
492 workspaceRegistration = context.registerService(IWorkspace.class, workspace, null); in start()