Extracted from Pike v7.8 release 866 at 2016-11-06.
[Top]
Gnome
Gnome.PaperSelector
Methods
create()
get_bottom_margin()
get_height()
get_left_margin()
get_name()
get_right_margin()
get_top_margin()
get_width()
Gnome.PaperSelector
Gnome.PaperSelector()->get_bottom_margin()
Method Gnome.PaperSelector()->create()
Method
create
Gnome.PaperSelector
Gnome.PaperSelector
(
)