GNOME Bugzilla – Bug 730611
Use margin-{start,end} instead of margin-{left,right}
Last modified: 2016-05-21 02:53:02 UTC
It fixes some wrong margin in RTL. (It request GTK+ 3.12. so it will wait some time on bugzilla.)
Created attachment 277019 [details] [review] Use margin-{start,end} instead of margin-{left,right}: Close bgo #730611
I'm not sure I understand, Yosef -- are you saying this patch requires GTK+ 3.12?
Yes, this patch requires GTK+ 3.12. Since we depens on GTK+ 3.10 only, the margin in RTL is wrong in some places, and we can to solve this by move the set of the margin to the code and to set left_margin or right_margn depend on the direction. Another solution is to move the margin to CSS, and use the dir support.
*** Bug 746001 has been marked as a duplicate of this bug. ***
Hmm, I thought it pushed already. We not yet depends on GTK+ 3.12? 3.16 it almost out...
I'll happy to bump the minimum GTK requirement to 3.12 once Ubuntu Xenial LTS has been released. This patch (does it need refreshing?) can be landed after that.
Updated patch committed to master as 0da3cb9. Ta!