Source position: gnomepaperselector.inc line 38
procedure gnome_paper_selector_set_width(
gspaper: PGnomePaperSelector;
width: gfloat
);