Gtk Documentation
»
Gtk.PageSetup
»
Gtk.PageSetup.get_top_margin
Gets the top margin in units of @unit.
More About
Gtk.PageSetup