allow for floats as Duration in Real Time mode
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
Right now, when visualizing a time-dependent data set, one can set the duration of the animation to a fixed integer. Restricting this value to int appears unnecessary. Allowing for a float value here would allow for a more accurate presentation of results, also when exporting the data an animation (avi, ogv,...).
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information