mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-10 10:50:10 +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 |
||
---|---|---|
.. | ||
reference | ||
tools | ||
CODING-STYLE | ||
developers.txt | ||
dnd_internals.txt | ||
focus_tracking.txt | ||
iconcache.txt | ||
Makefile.am | ||
RELEASE-HOWTO | ||
sizing-test.txt | ||
styles.txt | ||
text_widget_internals.txt | ||
tree-column-sizing.png | ||
tree-column-sizing.txt | ||
widget_geometry.txt | ||
widget_system.txt |