[gnome-shell-sass] workspace: Use the new WorkspaceLayout for allocating window clones

[Florian Müllner <fmuellner src gnome org>]

commit 40fd8b3c1aed5ad79deada3c6005c97efb03e5de
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Wed Jun 3 18:17:54 2020 +0200

    workspace: Use the new WorkspaceLayout for allocating window clones
    
    Switch to the new WorkspaceLayout layout manager to allocate the window
    clones of the overview properly using Clutters layouting mechanisms.
    
    Since we now no longer make use of the fullGeometry, we can remove the
    setFullGeometry() function from the Workspace class. Also we can stop
    setting the actualGeometry on the Workspaces and WorkspaceViews and
    instead just set the fixed position and size of the views to their
    full or actual geometry. This also has the benefit that we no longer
    have to set a custom clip, but can simply enable clip_to_allocation.
    
    The geometry needs to be set inside a BEFORE_REDRAW later because
    _updateWorkspacesActualGeometry() is called from a notify::allocation
    handler.
    
    This isn't doing any animations when showing/hiding the overview yet,
    we'll add that in the next commit.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1305

 widgets/_window-picker.scss | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/widgets/_window-picker.scss b/widgets/_window-picker.scss
index 48d6f73..1b93218 100644
--- a/widgets/_window-picker.scss
+++ b/widgets/_window-picker.scss
@@ -1,7 +1,7 @@
 /* Window Picker */
 
-$window_picker_spacing: $base_spacing * 2; // 16px
-$window_picker_padding: $base_padding * 2; // 16px
+$window_picker_spacing: $base_spacing; // 6px
+$window_picker_padding: $base_padding * 2; // 12px
 
 $window_thumbnail_border_color:transparentize($selected_fg_color, 0.65);
 
@@ -13,8 +13,8 @@ $window_clone_border_size: 6px;
 // Window picker
 .window-picker {
   // Space between window thumbnails
-  -horizontal-spacing: $window_picker_spacing;
-  -vertical-spacing: $window_picker_spacing;
+  spacing: $window_picker_spacing;
+
   // Padding for container around window thumbnails
   padding: $window_picker_padding;