Gtk.TextView.get_top_margin – gtk4 Reference Manual
get_top_margin
Description:
public
int
get_top_margin
()
Gets the top margin for text in the
this
.
Parameters:
this
a `GtkTextView`
Returns:
top margin in pixels
2022 vala-language.org