|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |