GtkTextView padding

[Carlos Pereira <jose carlos pereira ist utl pt>]

Hi all,

what is the standard, simple, way to add some padding inside a GtkTextView?

These functions work nice:
gtk_text_view_set_left_margin (GTK_TEXT_VIEW (text), 10);
gtk_text_view_set_right_margin (GTK_TEXT_VIEW (text), 10);

but no equivalent functions seem to exist for top, bottom
(gtk_text_view_set_border_window_size adds space outside, not inside as 
I wish).

Thanks,
Carlos