GifPlayer
Image view with animated GIF support.
| Module | require("gui") |
| Type | Class |
| Inherits | View |
It can also display other types of images, but only GIF images can be animated.
Displaying animated GIF images consumes lots of CPU resources, it is highly unrecommended to constantly display animated GIF images.
For optimization, hiding the view would automatically pause the animation, and showing the view would automatically resume previous state.
Class methods
create()
Create a new GifPlayer.
Return
GifPlayerMethods
setImage(image)
Set the image.
After setting the image, the animated image will start playing automatically.
Parameters
Imageimage
getImage()
Return the image.
Return
ImagesetAnimating(animating)
Set whether the animated image should be played.
Parameters
Booleananimating
isAnimating()
Return whether the image is animating.
Return
BooleansetScale(scale)
Set the scaling mode.
The default scaling mode is "none".
Parameters
ImageScalescale
getScale()
Return the scaling mode.
Return
ImageScale