isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
gnome-shell/js
History
Marco Trevisan (Treviño) ea4d5f89eb animation: Stop the animation before removing all the children 
If the resource scale or the scale factor changes while the animation
is playing, we need to stop the animation and start it again once the
texture is loaded, as the idle might try to access an invalidated
animation child otherwise.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/700
2019-09-09 19:28:18 +00:00
..
extensionPrefs
extensionPrefs: Request correct GDK/GTK versions
2019-08-21 19:43:33 +02:00
gdm
js: Use Clutter transitions for adjustment changes
2019-08-07 18:40:49 +02:00
misc
windowManager: Handle starting/stopping of X11 services
2019-09-05 07:42:46 +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
animation: Stop the animation before removing all the children
2019-09-09 19:28:18 +00: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