set_top_margin

Description:

public void set_top_margin (int top_margin)

Sets the top margin for text in this.

Note that this function is confusingly named. In CSS terms, the value set here is padding.

this	a `GtkTextView`
top_margin	top margin in pixels