Scale active shape with monitor scale (#2607)

Author: lenemter

src/Widgets/MultitaskingView/WindowClone.vala

@@ -127,8 +127,9 @@ public class Gala.WindowClone : ActorTarget, RootTarget {
             add_action (drag_action);
         }
 
-        active_shape = new ActiveShape ();
+        active_shape = new ActiveShape (monitor_scale);
         active_shape.opacity = 0;
+        bind_property ("monitor-scale", active_shape, "monitor-scale");
 
         clone_container = new Clutter.Actor () {
             pivot_point = { 0.5f, 0.5f }
@@ -674,8 +675,16 @@ public class Gala.WindowClone : ActorTarget, RootTarget {
         private const int BORDER_RADIUS = 16;
         private const double COLOR_OPACITY = 0.8;
 
+        public float monitor_scale { get; construct set; }
+
+        public ActiveShape (float monitor_scale) {
+            Object (monitor_scale: monitor_scale);
+        }
+
         construct {
-            add_effect (new RoundedCornersEffect (BORDER_RADIUS, 1.0f));
+            var rounded_corners_effect = new RoundedCornersEffect (BORDER_RADIUS, monitor_scale);
+            bind_property ("monitor-scale", rounded_corners_effect, "monitor-scale");
+            add_effect (rounded_corners_effect);
         }
 
         public void update_color () {