|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ElementDeleteListener | |
---|---|
org.eclipse.graphiti.ui.editor |
Uses of ElementDeleteListener in org.eclipse.graphiti.ui.editor |
---|
Fields in org.eclipse.graphiti.ui.editor declared as ElementDeleteListener | |
---|---|
private ElementDeleteListener |
DefaultUpdateBehavior.elementDeleteListener
Closes editor if model object is deleted. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |