TextView.getPixelsAboveLines

Gets the default number of pixels to put above paragraphs.

Adding this function with [gtk.text_view.TextView.getPixelsBelowLines] is equal to the line space between each paragraph.