[gnome-shell/wip/jimmac/dash-icon-spacing: 9/72] theme: Remove workspace padding
- From: Jakub Steiner <jimmac src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/jimmac/dash-icon-spacing: 9/72] theme: Remove workspace padding
- Date: Tue, 2 Feb 2021 11:58:17 +0000 (UTC)
commit c731c7f97401159a915f8988d88ffa9cf18728c4
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]