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,...).