WindowSwitcher: blur background

Author: lenemter

src/Widgets/WindowSwitcher/WindowSwitcher.vala

@@ -28,6 +28,7 @@ public class Gala.WindowSwitcher : CanvasActor, GestureTarget {
     private Clutter.Actor container;
     private Clutter.Text caption;
     private ShadowEffect shadow_effect;
+    private BackgroundBlurEffect blur_effect;
 
     private WindowSwitcherIcon? _current_icon = null;
     private WindowSwitcherIcon? current_icon {
@@ -105,6 +106,10 @@ public class Gala.WindowSwitcher : CanvasActor, GestureTarget {
         };
         add_effect (shadow_effect);
 
+
+        blur_effect = new BackgroundBlurEffect (12, 9, scaling_factor);
+        add_effect (blur_effect);
+
         scale ();
 
         container.button_release_event.connect (container_mouse_release);
@@ -122,6 +127,7 @@ public class Gala.WindowSwitcher : CanvasActor, GestureTarget {
         scaling_factor = wm.get_display ().get_monitor_scale (wm.get_display ().get_current_monitor ());
 
         shadow_effect.scale_factor = scaling_factor;
+        blur_effect.monitor_scale = scaling_factor;
 
         var margin = InternalUtils.scale_to_int (WRAPPER_PADDING, scaling_factor);
 
@@ -169,6 +175,8 @@ public class Gala.WindowSwitcher : CanvasActor, GestureTarget {
             highlight_color = Drawing.Color.DARK_HIGHLIGHT;
         }
 
+        background_color.alpha = 0.3;
+
         var stroke_width = scaling_factor;
 
 #if HAS_MUTTER47