Skip to content

cleanup: Stop using Tweener

Florian Müllner requested to merge fmuellner/gnome-shell-extensions:replace-tweener into master

gnome-shell added convenience API for Clutter animations and replaced Tweener everywhere; follow suite and do the same.

Merge request reports