[gnome-shell-extensions] window-list: Drop height override



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]