Interface MarkedElementsManagerListener
-
public interface MarkedElementsManagerListener
The interface of a listener to the markedElementsManager
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addedElementName(java.lang.String elementName)
fired when an elementName was addedvoid
removedElementName(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
-
-