|
||||||||||
| 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 | |||||||||