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