Extracted from Pike v7.4 release 35 at 2003-12-09.
[Top]
predef::
Gnome
Gnome.PaperSelector
create()
get_bottom_margin()
get_height()
get_left_margin()
get_name()
get_right_margin()
get_top_margin()
get_width()
Gnome.PaperSelector()->get_name()
Gnome.PaperSelector()->get_top_margin()
Method Gnome.PaperSelector()->get_right_margin()
Method
get_right_margin
float
get_right_margin
(
)