[gnome-shell-sass] style: Remove workspace padding
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-sass] style: Remove workspace padding
- Date: Wed, 3 Feb 2021 12:19:28 +0000 (UTC)
commit 15dfdc656c5ec3ba5b538ca65a95af8a661f9fda
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date: Fri Dec 11 14:58:30 2020 -0300
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>
widgets/_window-picker.scss | 5 -----
1 file changed, 5 deletions(-)
---
diff --git a/widgets/_window-picker.scss b/widgets/_window-picker.scss
index 1b93218..4cf3e12 100644
--- a/widgets/_window-picker.scss
+++ b/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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]