Extracted from Pike v8.0 release 164 as of 2016-02-09.
   

Method GTK2.TextView()->get_pixels_below_lines()


Method get_pixels_below_lines

int get_pixels_below_lines()

Description

Gets the value set by set_pixels_below_lines().