Daniel García Moreno 5b2c604fe4 animation: Scale animation actor for HiDPI ... The Animation class inherits from St.Bin and manages the scale factor in the image loading, but the widget size doesn't change and doesn't depend on the scale factor so when the scale factor is different from 1 the widget size doesn't match the image size. This patch resizes the Animation widget using the scale factor so the widget will match the animation images sizes. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1746		2020-01-30 14:28:45 +00:00
..
extensionPrefs	extensionPrefs: Don't (re-)bind text domain	2020-01-06 13:10:43 +00:00
gdm	js: Add caps-lock Warning to the dialogs	2019-12-17 23:08:43 +01:00
misc	extensionSystem: Add hasUpdate state	2020-01-30 13:37:47 +00:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
ui	animation: Scale animation actor for HiDPI	2020-01-30 14:28:45 +00:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01: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