Extracted from Pike v8.0 release 240 as of 2016-05-31.
[Top]
Gnome
Gnome.PaperSelector
Symbol index
Gnome.PaperSelector()->get_name()
Gnome.PaperSelector()->get_top_margin()
Method Gnome.PaperSelector()->get_right_margin()
Method
get_right_margin
float
get_right_margin
(
)