gnome-shell/js
Florian Müllner 8eb88d17fe dash: Directly tween actors
Dash items are currently animated via the custom "childScale" and
"childOpacity" properties. However since commit efb3025d8c, those
properties actually control the scale-x/scale-y and opacity properties
of the actor itself (not the child), so cut out the intermediate
custom properties in favor of the "real" ones.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/22
2019-08-06 20:50:43 +02:00
..
extensionPrefs cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
gdm loginDialog: Use GObject bindings over onUpdate handler 2019-08-06 14:52:41 +02:00
misc cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
perf perf: Shut up another eslint error 2019-07-24 00:28:45 +02:00
portalHelper cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
ui dash: Directly tween actors 2019-08-06 20:50:43 +02:00
js-resources.gresource.xml accessibility: Add pointer accessibility support 2019-06-06 09:13:29 +02:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00