Source position: gtktexttag.inc line 219
function pixels_below_lines_set(
var a: TGtkTextTag
):guint;