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