From 12de4e67f80a26ccd1221a035bca35ef4c4718da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Wed, 19 Feb 2020 09:51:11 +0100 Subject: [PATCH] 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 --- data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss index 2fe43806d..5b15a30fa 100644 --- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss +++ b/data/theme/gnome-shell-sass/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;