org.eclipse.graphiti.ui.editor
Class ElementDeleteListener
java.lang.Object
AdapterImpl
org.eclipse.graphiti.ui.editor.ElementDeleteListener
public final class ElementDeleteListener
- extends AdapterImpl
Closes editor if model element was deleted. For instance, if only the diagram
object is deleted from the resource, this listeners handles closing the
editor. Probably this is a very rare case.
- Since:
- 0.9
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
diagramBehavior
private DiagramBehavior diagramBehavior
ElementDeleteListener
public ElementDeleteListener(DiagramBehavior diagramBehavior)
- Since:
- 0.10
isAdapterForType
public boolean isAdapterForType(Object type)
notifyChanged
public void notifyChanged(Notification msg)
Copyright (c) SAP AG 2005, 2012.