public class PatternGraphVizView.CenterDotNode
extends org.processmining.plugins.graphviz.dot.DotNode
Constructor and Description |
---|
CenterDotNode(java.lang.String label) |
addMouseListener, addSelectionListener, escapeString, getId, getLabel, getOption, getOptionKeySet, getSelectionListeners, isSelectable, labelToString, mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased, setLabel, setOption, setSelectable