[gnome-shell/gnome-3-36] animation: Set size through CSS

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit a6783692c5f6307c0e2264201381ebfcb9c66c8c
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Mon Apr 6 11:19:28 2020 -0300

    animation: Set size through CSS
    
    Pretty much the same case of the previous commit: we want this size
    to be scale-dependant, and using the width and height properties of
    ClutterActor doesn't automatically update.
    
    Use CSS to set the width and height.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1176

 js/ui/animation.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/js/ui/animation.js b/js/ui/animation.js
index 2344851adc..fa8cad932a 100644
--- a/js/ui/animation.js
+++ b/js/ui/animation.js
@@ -15,8 +15,7 @@ class Animation extends St.Bin {
         const themeContext = St.ThemeContext.get_for_stage(global.stage);
 
         super._init({
-            width: width * themeContext.scale_factor,
-            height: height * themeContext.scale_factor,
+            style: `width: ${width}px; height: ${height}px;`,
         });
 
         this.connect('destroy', this._onDestroy.bind(this));