Source position: gtktextview.inc line 238
function gtk_text_view_get_right_margin(
text_view: PGtkTextView
):gint;