public class ElementDoubleClickListener
extends java.awt.event.MouseAdapter
Constructor and Description |
---|
ElementDoubleClickListener(YawlNetGraphVisualizationPanel panel,
org.yawlfoundation.yawl.editor.net.NetGraph net) |
Modifier and Type | Method and Description |
---|---|
void |
mouseClicked(java.awt.event.MouseEvent e) |
void |
setGraphProperties(org.yawlfoundation.yawl.editor.net.NetGraph net) |
public ElementDoubleClickListener(YawlNetGraphVisualizationPanel panel, org.yawlfoundation.yawl.editor.net.NetGraph net)
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
mouseClicked
in class java.awt.event.MouseAdapter
public void setGraphProperties(org.yawlfoundation.yawl.editor.net.NetGraph net)