mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-17 23:10:22 +00:00
d1381569fd
Add API to set top and bottom margins, and add the CSS padding from the theme to the programmatically set margins. https://bugzilla.gnome.org/show_bug.cgi?id=406159 |
||
---|---|---|
.. | ||
gdk | ||
gtk | ||
libgail-util | ||
Makefile.am |