public class ModelCommitter extends AnimationSequence
DEFAULT_ANIMATION_TIME, DEFAULT_DELAY
Constructor and Description |
---|
ModelCommitter(ProcessEditor editor,
ClientFascade serverConnection,
java.awt.Frame dialogToClose) |
Modifier and Type | Method and Description |
---|---|
void |
run() |
getAnimationTime, getDelay, getEditor, getLocalAnimationQueue, setAnimationTime, setDelay, setEditor
public ModelCommitter(ProcessEditor editor, ClientFascade serverConnection, java.awt.Frame dialogToClose)