public interface ContextMenuCreator
Modifier and Type | Method and Description |
---|---|
javax.swing.JPopupMenu |
createMenuFor(org.processmining.models.graphbased.directed.DirectedGraph<?,?> graph,
java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphElement> selectedElements) |