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

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

The accessor for the top-margin slot gets or sets the top margin for text in the text view. Note that this function is confusingly named. In CSS terms, the value set here is padding.