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 752591 - Convert margin_right to margin_end
Convert margin_right to margin_end
Status: RESOLVED FIXED
Product: gnome-music
Classification: Applications
Component: general
unspecified
Other Linux
: Normal minor
: 3.16
Assigned To: gnome-music-maint
gnome-music-maint
Depends on:
Blocks:
 
 
Reported: 2015-07-19 15:53 UTC by Peter Shinners
Modified: 2015-07-20 08:00 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
0001-Use-margin_end-instead-of-margin_right.patch (977 bytes, patch)
2015-07-19 15:53 UTC, Peter Shinners 		committed Details | Review

Description Peter Shinners 2015-07-19 15:53:29 UTC 
Created attachment 307687 [details] [review]
0001-Use-margin_end-instead-of-margin_right.patch

The loading grid view was using margin_right to add some padding.
As of Gtk 3.12 this is deprecated in favor of margin_end.

This is a single line trivial change.
Comment 1 Vadim Rutkovsky 2015-07-20 08:00:43 UTC 
Review of attachment 307687 [details] [review]:

Thanks, pushed to master: https://git.gnome.org/browse/gnome-music/commit/?id=9ecc8a6