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
d138156 text view: add padding and margin
docs/reference/gtk/gtk3-sections.txt | 4 +
gtk/gtktextlayout.c | 17 +-
gtk/gtktextlayout.h | 3 +
gtk/gtktextview.c | 660 ++++++++++++++++++++++++++--------
gtk/gtktextview.h | 10 +
5 files changed, 534 insertions(+), 160 deletions(-)
Upstream: git.gnome.org