[gnome-shell] theme: Fix workspace switcher popup box size



commit 12de4e67f80a26ccd1221a035bca35ef4c4718da
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

 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 2fe43806de..5b15a30fa2 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;


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]