Interface MarkedElementsManagerListener
-
public interface MarkedElementsManagerListenerThe interface of a listener to the markedElementsManager
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddedElementName(java.lang.String elementName)fired when an elementName was addedvoidremovedElementName(java.lang.String elementName)fired, when an elementName was removed
-
-
-
Method Detail
-
addedElementName
void addedElementName(java.lang.String elementName)
fired when an elementName was added- Parameters:
elementName- the name of the element, that was added
-
removedElementName
void removedElementName(java.lang.String elementName)
fired, when an elementName was removed- Parameters:
elementName- the name of the element, that was removed
-
-