Source position: gnomepaperselector.inc line 36
function gnome_paper_selector_get_bottom_margin(
gspaper: PGnomePaperSelector
):gfloat;