Interface IElementChangedListener

    • Method Detail

      • elementChanged

        void elementChanged​(ElementChangedEvent event)
        Notifies that one or more attributes of one or more Java elements have changed. The specific details of the change are described by the given event.
        Parameters:
        event - the change event