Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/wizards/product/
H A DUpdateSplashHandlerAction.java263 IPluginElement splashHandlerElement = createElementSplashHandler(extension); in addElementSplashHandler() local
265 if (splashHandlerElement != null) { in addElementSplashHandler()
269 extension.add(0, splashHandlerElement); in addElementSplashHandler()
322 IPluginElement splashHandlerElement = findSplashHandlerElement(extension); in modifyExtensionChildrenSplashHandlers() local
324 if (splashHandlerElement == null) { in modifyExtensionChildrenSplashHandlers()
329 syncSplashHandlerElement(splashHandlerElement); in modifyExtensionChildrenSplashHandlers()