gtk:text-view-bottom-margin (object)

object -- a gtk:text-view widget
margin -- an integer for the bottom margin in pixels

The accessor for the bottom-margin slot of the gtk:text-view class gets or sets the bottom margin for text in the text view.

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