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 768926 - Improve vertical spacing between preferences columns
Improve vertical spacing between preferences columns
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
3.21.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-07-18 14:16 UTC by Allan Day
Modified: 2016-07-18 21:14 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
patch (1.51 KB, patch)
2016-07-18 14:18 UTC, Allan Day 		committed Details | Review

Description Allan Day 2016-07-18 14:16:30 UTC 
The sections in the column layouts that are used for preferences aren't spaced quite right, making the layout uneven and not helping to communicate the groups. In particular, headings need to be closer to their lists.
Comment 1 Allan Day 2016-07-18 14:18:40 UTC 
Created attachment 331714 [details] [review]
patch
Comment 2 Christian Hergert 2016-07-18 21:14:25 UTC 
Seems reasonable to me.