available, see [gtk.printer.Printer.hasDetails] and [gtk.printer.Printer.requestDetails].
Parameters
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