PaperSize.getDefaultTopMargin

double getDefaultTopMargin(gtk.types.Unit unit)

Gets the default top margin for the #GtkPaperSize.

Parameters

unitthe unit for the return value, not [gtk.types.Unit.None]

Returns

the default top margin