Gtk.TextView.get_top_margin – gtk+-3.0 Reference Manual
get_top_margin
Description:
[
Version
( since =
"3.18"
) ]
public
int
get_top_margin
()
Gets the top margin for text in the
this
.
Parameters:
this
a
TextView
Returns:
top margin in pixels
2022 vala-language.org