public class DisplayedVersionChanger extends AnimationSequence
DEFAULT_ANIMATION_TIME, DEFAULT_DELAY
Constructor and Description |
---|
DisplayedVersionChanger(ProcessEditor editor,
ModelVersionDescription newVersion,
VersionTreeManager versionTreeManager) |
Modifier and Type | Method and Description |
---|---|
void |
changeDisplayedVersion() |
void |
run() |
getAnimationTime, getDelay, getEditor, getLocalAnimationQueue, setAnimationTime, setDelay, setEditor
public DisplayedVersionChanger(ProcessEditor editor, ModelVersionDescription newVersion, VersionTreeManager versionTreeManager)