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 698202 - Top of panel needs more padding
Top of panel needs more padding
Status: RESOLVED FIXED
Product: gnome-control-center
Classification: Core
Component: Power
3.8.x
Other Linux
: Normal normal
: ---
Assigned To: Richard Hughes
Control-Center Maintainers
3.10
Depends on:
Blocks:
 
 
Reported: 2013-04-17 14:09 UTC by Allan Day
Modified: 2013-07-31 08:28 UTC
See Also:
GNOME target: ---
GNOME version: 3.7/3.8


Attachments
screenshot with modification (72.82 KB, image/png)
2013-04-17 14:09 UTC, Allan Day
  Details
power: Adding more padding to top of panel (1.07 KB, patch)
2013-07-30 14:28 UTC, Yosef Or Boczko
committed Details | Review
Screenshot (79.38 KB, image/png)
2013-07-30 14:31 UTC, Yosef Or Boczko
  Details

Description Allan Day 2013-04-17 14:09:39 UTC
Created attachment 241749 [details]
screenshot with modification

The padding between the uppermost heading and the top of the panel should be the same as between the other sections. Otherwise the layout appears irregular and cramped at the top.

I've attached a screenshot with a modified version alongside, so you can see the desired layout.
Comment 1 Yosef Or Boczko 2013-07-30 14:28:39 UTC
Created attachment 250472 [details] [review]
power: Adding more padding  to top of panel
Comment 2 Yosef Or Boczko 2013-07-30 14:31:22 UTC
Created attachment 250473 [details]
Screenshot
Comment 3 Allan Day 2013-07-30 15:05:10 UTC
Looks good!
Comment 4 Bastien Nocera 2013-07-30 15:43:55 UTC
Review of attachment 250472 [details] [review]:

Looks good.
Comment 5 Yosef Or Boczko 2013-07-30 18:18:34 UTC
Review of attachment 250472 [details] [review]:

pushed as 56aa021341576b141d04cfad1c50799f38e37308 - power: Adding more padding to top of panel