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 763233 - Filter dropdown have a lot of padding.
Filter dropdown have a lot of padding.
Status: RESOLVED FIXED
Product: gnome-characters
Classification: Other
Component: general
3.19.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Characters maintainer(s)
GNOME Characters maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2016-03-07 13:58 UTC by Andreas Nilsson
Modified: 2016-03-13 11:41 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
screenshot (247.17 KB, image/png)
2016-03-07 13:58 UTC, Andreas Nilsson
  Details
menu: Remove redundant left/right margin settings (1.10 KB, patch)
2016-03-10 02:35 UTC, Daiki Ueno
committed Details | Review

Description Andreas Nilsson 2016-03-07 13:58:23 UTC
Created attachment 323279 [details]
screenshot

Filter dropdown have too much padding it seems.
Comment 1 Daiki Ueno 2016-03-10 02:35:59 UTC
Created attachment 323561 [details] [review]
menu: Remove redundant left/right margin settings

--
Thanks, that should be fixed with this.
Comment 2 Daiki Ueno 2016-03-13 11:41:05 UTC
Attachment 323561 [details] pushed as 28f5b0f - menu: Remove redundant left/right margin settings