public class ZoomSelectedElementsAction extends YAWLSelectedNetAction implements GraphStateListener
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent event) |
static ZoomSelectedElementsAction |
getInstance() |
void |
graphSelectionChange(GraphState state,
GraphSelectionEvent event) |
specificationStateChange
getGraph, getMenuIcon, shouldBeEnabled, shouldBeVisible
public static ZoomSelectedElementsAction getInstance()
public void actionPerformed(java.awt.event.ActionEvent event)
actionPerformed
in interface java.awt.event.ActionListener
actionPerformed
in class YAWLBaseAction
public void graphSelectionChange(GraphState state, GraphSelectionEvent event)
graphSelectionChange
in interface GraphStateListener