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 664486 - window labels should be bigger and have more padding
window labels should be bigger and have more padding
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
3.2.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2011-11-21 17:04 UTC by Allan Day
Modified: 2011-12-14 13:32 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
mockup of the window picker (401.78 KB, image/png)
2011-11-21 17:04 UTC, Allan Day 		Details

Description Allan Day 2011-11-21 17:04:21 UTC 
Created attachment 201829 [details]
mockup of the window picker

The labels that are displayed below the window thumbnails in the overview are too small and are difficult to read. They are also positioned too close to the thumbnails.

I have attached a mockup which presents a suggested size and positioning for the labels. The text is 16pt, or 11px tall (excluding descenders). The label box is 32px tall and is separated from the window thumbnail by 16px.
Comment 1 Allan Day 2011-11-21 17:21:27 UTC 
I forgot to mention - there is a similar bug for the application picker - bug 663725.
Comment 3 Marc Plano-Lesay 2011-12-05 21:56:46 UTC 
See also bug 664487