Minimal Animation Time
| Type: | global |
| Identifier: | org.eclipse.elk.minAnimTime |
| Meta Data Provider: | core.options.CoreOptions |
| Value Type: | int |
| Default Value: | 400 (as defined in org.eclipse.elk) |
| Lower Bound: | 0 |
| Applies To: | parents |
| Legacy Id: | de.cau.cs.kieler.minAnimTime |
Description
The minimal time for animations, in milliseconds.