org.processmining.plugins.graphviz.visualisation.listeners

Interface MouseInElementsChangedListener<E>

public interface MouseInElementsChangedListener<E>

Method Summary

Methods

Modifier and Type	Method and Description
void	mouseInElementsChanged(java.util.Set<E> mouseInElements) Called when the selection changes.

Method Detail

mouseInElementsChanged

void mouseInElementsChanged(java.util.Set<E> mouseInElements)

Called when the selection changes.

Parameters:

selectedElements - The new set of selected elements.