From d5f617b3e235cacbccc5e5d4a0efbb36ca1d5a83 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 30 Nov 2023 20:43:50 +0100 Subject: [PATCH] window-list: Move additional padding into buttons Commit ca1c4b0f9e6 added additional padding, which means that the interactive area of buttons no longer extends to the bottom of the screen. Address this by moving the new padding into the buttons themselves. That restores the Fittsability of the bottom bar, without affecting the cleaner visual appearance. Close https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/453 Part-of: --- extensions/window-list/stylesheet-dark.css | 8 ++++---- extensions/window-list/stylesheet-light.css | 3 +-- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/extensions/window-list/stylesheet-dark.css b/extensions/window-list/stylesheet-dark.css index 586cc147..9ef5f25b 100644 --- a/extensions/window-list/stylesheet-dark.css +++ b/extensions/window-list/stylesheet-dark.css @@ -13,11 +13,11 @@ .bottom-panel { background-color: #000000; border-top-width: 0px; - padding: 2px; + height: 2.45em; } .window-button { - padding: 2px, 1px; + padding: 4px, 3px; } .window-button:first-child:ltr { @@ -87,13 +87,13 @@ .window-list-workspace-indicator .status-label-bin { background-color: rgba(200, 200, 200, 0.3); - padding: 0 3px; + padding: 5px; margin: 3px; } .window-list-workspace-indicator .workspaces-box { spacing: 3px; - padding: 3px; + padding: 5px; } .window-list-workspace-indicator .workspace { diff --git a/extensions/window-list/stylesheet-light.css b/extensions/window-list/stylesheet-light.css index 0bb2ab16..d52fd6b4 100644 --- a/extensions/window-list/stylesheet-light.css +++ b/extensions/window-list/stylesheet-light.css @@ -10,8 +10,7 @@ #panel.bottom-panel { border-top-width: 1px; border-bottom-width: 0px; - height: 2.25em ; - padding: 2px; + height: 2.5em; } .bottom-panel .window-button > StWidget,