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