Extracted from Pike v8.0 release 164 as of 2018-07-18.
[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
(
)