gtk_text_view_get_top_margin

alias gtk_text_view_get_top_margin = c_gtk_text_view_get_top_margin