Package | Description |
---|---|
org.processmining.plugins.inductiveVisualMiner |
Modifier and Type | Method and Description |
---|---|
void |
InductiveVisualMinerAnimationPanel.addAnimationEnabledChangedListener(AnimationEnabledChangedListener animationEnabledChangedListener) |
void |
InductiveVisualMinerAnimationPanel.setAnimationEnabledChangedListener(AnimationEnabledChangedListener animationEnabledChangedListener)
Sets a callback that is called whenever the user changes the animation
enabled-ness.
|
void |
InductiveVisualMinerPanel.setOnAnimationEnabledChanged(AnimationEnabledChangedListener onAnimationEnabledChanged) |