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




2022 vala-language.org