Extracted from Pike v8.0 release 164 as of 2016-02-09.
[Top]
Gnome
Gnome.PaperSelector
Symbol index
Gnome.PaperSelector()->get_top_margin()
Gnome.PixmapEntry
Method Gnome.PaperSelector()->get_width()
Method
get_width
float
get_width
(
)