gnome-shell-extensions

rpms/gnome-shell-extensions

Fork 0

Commit Graph

Author	SHA1	Message	Date
Florian Müllner	c1a623ff21	Fix tooltip animation times Backporting the change from upstream involved translating between Clutter's implicit animations API (which expresses duration in milliseconds) and the old Tweener API (which uses seconds). Unfortunately there was a mixed up between division and multiplication, with the result that tooltips animate over 40 hours rather than 150 milliseconds. Fix that. Resolves: RHEL-33681	2024-04-23 13:30:41 +02:00
James Antill	8e1429a488	Auto sync2gitlab import of gnome-shell-extensions-3.32.1-27.el8.src.rpm	2022-05-26 07:49:12 -04:00

Author

SHA1

Message

Date

Florian Müllner

c1a623ff21

Fix tooltip animation times

Backporting the change from upstream involved translating between
Clutter's implicit animations API (which expresses duration in
milliseconds) and the old Tweener API (which uses seconds).

Unfortunately there was a mixed up between division and multiplication,
with the result that tooltips animate over
40 hours rather than 150 milliseconds. Fix that.

Resolves: RHEL-33681

2024-04-23 13:30:41 +02:00

James Antill

8e1429a488

Auto sync2gitlab import of gnome-shell-extensions-3.32.1-27.el8.src.rpm

2022-05-26 07:49:12 -04:00

2 Commits