GNOME Bugzilla – Bug 744230
classic: Bottom bar than higher top bar
Last modified: 2017-11-25 02:20:18 UTC
The top bar in GNOME is 28 px in height. With the window list extension there is a bottom bar, but it is 32 px in height. So the top and bottom bar in GNOME does not have the same size. Using "Classic" look with the extensions.
Not sure this is a bug ...
*** Bug 757782 has been marked as a duplicate of this bug. ***
-- GitLab Migration Automatic Message -- This bug has been migrated to GNOME's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/9.