js: Drop tweener.js

We're using clutter's animation framework now, so lets drop the old
tweener support layer.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1200
This commit is contained in:
Jonas Ådahl
2020-04-15 11:24:10 +02:00
committed by Florian Müllner
parent ff4c5270d3
commit b3b91f1699
6 changed files with 4 additions and 237 deletions

View File

@ -638,7 +638,7 @@ var AllView = GObject.registerClass({
this._grid.currentPage = pageNumber;
// Tween the change between pages.
// Animate the change between pages.
this._adjustment.ease(this._grid.getPageY(this._grid.currentPage), {
mode: Clutter.AnimationMode.EASE_OUT_CUBIC,
duration: animate ? PAGE_SWITCH_TIME : 0,