Interface MarkedElementsManagerListener


  • public interface MarkedElementsManagerListener
    The interface of a listener to the markedElementsManager
    • 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