Files
gtk3/docs
Yosef Or Boczko 9921bec63a GtkWidget: Add margin-start and margin-end properties
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
2013-11-14 21:55:50 +01:00
..
2013-10-06 23:31:17 -04:00
2013-07-09 09:30:02 +01:00
2012-09-23 23:00:38 -04:00