From 059ea648f8cc88f9486a8b0b1ac2b664a382c779 Mon Sep 17 00:00:00 2001
From: Georges Basile Stavracas Neto <georges.stavracas@gmail.com>
Date: Fri, 11 Dec 2020 14:58:30 -0300
Subject: [PATCH] style: Remove workspace padding

It makes the background jump when animating from the session.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1599>
---
 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 1b9321851..4cf3e12e2 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