[gnome-shell/gbsneto/40-stuff: 11/68] theme: Remove workspace padding

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

commit 3b14c5c6384692707a58472f5434542794e8e32c
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Fri Dec 11 14:58:30 2020 -0300

    theme: Remove workspace padding
    
    It makes the background jump when animating from the session.

 data/theme/gnome-shell-sass/widgets/_window-picker.scss | 5 -----
 1 file changed, 5 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_window-picker.scss 
b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
index 1b93218517..4cf3e12e2f 100644
--- a/data/theme/gnome-shell-sass/widgets/_window-picker.scss
+++ b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
@@ -14,11 +14,6 @@ $window_clone_border_size: 6px;
 .window-picker {
   // Space between window thumbnails
   spacing: $window_picker_spacing;
-
-  // Padding for container around window thumbnails
-  padding: $window_picker_padding;
-
-  &.external-monitor { padding: $window_picker_padding; }
 }
 
 // Borders on window thumbnails