Source position: gnomepaperselector.inc line 39
procedure gnome_paper_selector_set_height(
gspaper: PGnomePaperSelector;
height: gfloat
);