Uses of Interface
org.eclipse.graphiti.ui.services.IExtensionManager

Packages that use IExtensionManager

org.eclipse.graphiti.ui.services

Uses of IExtensionManager in org.eclipse.graphiti.ui.services

Methods in org.eclipse.graphiti.ui.services that return IExtensionManager

static IExtensionManager

GraphitiUi.getExtensionManager() Provides the extension manager.