available, see [gtk.printer.Printer.hasDetails] and [gtk.printer.Printer.requestDetails].
Parameters
paperSize | a [gtk.paper_size.PaperSize] |
top | a location to store the top margin in |
bottom | a location to store the bottom margin in |
left | a location to store the left margin in |
right | a location to store the right margin in |
Returns
true iff the hard margins were retrieved