set_bottom_margin

Description:

public void set_bottom_margin (int bottom_margin)

Sets the bottom margin for text in this.

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

Parameters:

this

a `GtkTextView`
bottom_margin

bottom margin in pixels