From fb74d56258d5127ca92b0b9bc1c939e6e9d551d1 Mon Sep 17 00:00:00 2001
From: Jakub Steiner <jimmac@gmail.com>
Date: Thu, 25 Apr 2024 11:15:13 -0400
Subject: [PATCH] theme: Worksace indicator height

- set the workspace indicator height to match the non-labeled osd panels
  such as volume or brightness

Fixes #7612

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3282>
---
 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 f3e069f78..da8d77fde 100644
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@@ -1,6 +1,6 @@
 /* Workspace Switcher */
 
-$ws_indicator_height: 48px;
+$ws_indicator_height: 32px;
 $ws_dot_active: $ws_indicator_height / 3;
 $ws_dot_inactive: $ws_indicator_height / 6;