play


Description:

public void play ()

Starts the animation for this.

If the animation is playing, paused or has been completed, restarts it from the beginning. This allows to easily play an animation regardless of whether it's already playing or not.

Sets [property@Animation:state] to `ADW_ANIMATION_PLAYING`.

The animation will be automatically skipped if [property@Animation:widget] is unmapped, or if [ [email protected]:gtk-enable-animations] is `FALSE`.

As such, it's not guaranteed that the animation will actually run. For example, when using [[email protected]_add] and starting an animation immediately afterwards, it's entirely possible that the idle callback will run after the animation has already finished, and not while it's playing.

Parameters:

this

an animation




2022 vala-language.org