Options of Animation.gifEncoder
Use GIFEncodeOptions, with AnimationOptions.loopCount: this will be removed in 4.0
Options of Animation.gifEncoder