[gnome-shell-sass] theme: Fix workspace switcher popup box size
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-sass] theme: Fix workspace switcher popup box size
- Date: Sun, 1 Mar 2020 01:20:04 +0000 (UTC)
commit 6babdee58df12fb5cb3245f7f5ffaf684c58de1f
Author: Jonas Dreßler <verdre v0yd nl>
Date: Wed Feb 19 09:51:11 2020 +0100
theme: Fix workspace switcher popup box size
This should be the last fallout from the theme refresh, make sure all
the boxes of the workspace switcher popup are the correct size.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1022
widgets/_workspace-switcher.scss | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/widgets/_workspace-switcher.scss b/widgets/_workspace-switcher.scss
index 2fe4380..5b15a30 100644
--- a/widgets/_workspace-switcher.scss
+++ b/widgets/_workspace-switcher.scss
@@ -16,7 +16,6 @@
}
.ws-switcher-box {
- // background: transparent;
background: transparent;
height: 50px;
background-size: 32px;
@@ -29,6 +28,7 @@
.ws-switcher-active-down,
.ws-switcher-active-left,
.ws-switcher-active-right {
+ height: 52px;
background-color: $selected_bg_color;
border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
border-radius: $base_border_radius + 3px;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]