Uses of Interface
org.processmining.plugins.graphviz.visualisation.listeners.MouseInElementsChangedListener

Packages that use MouseInElementsChangedListener

Package	Description
org.processmining.plugins.graphviz.visualisation

Uses of MouseInElementsChangedListener in org.processmining.plugins.graphviz.visualisation

Methods in org.processmining.plugins.graphviz.visualisation with parameters of type MouseInElementsChangedListener

Modifier and Type	Method	Description
void	DotPanel.addMouseInElementsChangedListener(MouseInElementsChangedListener<DotElement> listener)