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

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

Accessor of the top-margin slot of the gtk:text-view class. The gtk:text-view-top-margin function gets the top margin for text in the text view. The (setf gtk:text-view-top-margin) function sets the top margin.

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