-
Yosef Or Boczko authored
Add margin-{start,end} and gtk_widget_{get,set}_margin_{start,end} and drop margin-{left,right} and gtk_widget_{get,set}_margin_{left,right}. margin-{start,end} handle right also in RTL. https://bugzilla.gnome.org/show_bug.cgi?id=710238
9921bec6