After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 744230 - classic: Bottom bar than higher top bar
classic: Bottom bar than higher top bar
Status: RESOLVED OBSOLETE
Product: gnome-shell
Classification: Core
Component: extensions-module
3.14.x
Other Windows
: Normal normal
: ---
Assigned To: gnome-shell-maint
: 757782 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2015-02-10 09:47 UTC by Moo
Modified: 2017-11-25 02:20 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Moo 2015-02-10 09:47:36 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.
Comment 1 Florian Müllner 2015-02-27 19:29:26 UTC
Not sure this is a bug ...
Comment 2 Florian Müllner 2017-11-25 01:41:21 UTC
*** Bug 757782 has been marked as a duplicate of this bug. ***
Comment 3 Florian Müllner 2017-11-25 02:20:18 UTC
-- 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.