gtk:text-view-pixels-above-lines (object)

object -- a gtk:text-view widget
pixels -- an integer for the pixels above paragraphs

The accessor for the pixels-above-lines slot gets or sets the default number of pixels to put above paragraphs in the text view. Tags in the text buffer for the text view may override the defaults.