Source position: lazgtk3.pas line 16834
function gtk_text_view_get_top_margin(
text_view: PGtkTextView
):gint;