[gnome-shell-extensions] window-list: Drop height override
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] window-list: Drop height override
- Date: Mon, 18 Jan 2021 22:18:37 +0000 (UTC)
commit d8ae2dcba2d50f675a0a0cd7ebf527b3ad7fc8ad
Author: Florian Müllner <fmuellner gnome org>
Date: Mon Jan 18 22:39:23 2021 +0100
window-list: Drop height override
gnome-shell's top bar got taller, and is now just 1px smaller than
our size override. We don't need that additional pixel to fit our
UI, so remove the override to make the sizes of both bars consistent.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/271
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/154>
extensions/window-list/stylesheet.css | 7 -------
1 file changed, 7 deletions(-)
---
diff --git a/extensions/window-list/stylesheet.css b/extensions/window-list/stylesheet.css
index 79d56ba..e01986a 100644
--- a/extensions/window-list/stylesheet.css
+++ b/extensions/window-list/stylesheet.css
@@ -1,10 +1,3 @@
-.bottom-panel {
- /* .window-button-icon height +
- .window-button vertical padding +
- .window-button > StWidget vertical padding) */
- height: 2.25em;
-}
-
.window-list {
spacing: 2px;
font-size: 10pt;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]