Extracted from Pike v8.0 release 28 as of 2015-08-03.
[Top]
Gnome
Gnome.PaperSelector
Symbol index
Gnome.PaperSelector()->get_top_margin()
Gnome.PixmapEntry
Method Gnome.PaperSelector()->get_width()
Method
get_width
float
get_width
(
)