pipe.gui
Class EditTimedAction

java.lang.Object
  extended by javax.swing.AbstractAction
      extended by pipe.gui.EditTimedAction
All Implemented Interfaces:
java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

public class EditTimedAction
extends javax.swing.AbstractAction

Action object that can be used to alternate a transition between timed and immediate.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class javax.swing.AbstractAction
changeSupport, enabled
 
Fields inherited from interface javax.swing.Action
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SHORT_DESCRIPTION, SMALL_ICON
 
Constructor Summary
EditTimedAction(Transition component)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
          Action for toggling timing on/off
 
Methods inherited from class javax.swing.AbstractAction
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EditTimedAction

public EditTimedAction(Transition component)
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Action for toggling timing on/off