topPixels property

@TagNumber.new(1) int get topPixels

The number of pixels to add to the top. The default is 0.

Implementation

@$pb.TagNumber(1)
$core.int get topPixels => $_getIZ(0);

@TagNumber.new(1) set topPixels (int v)

Implementation

@$pb.TagNumber(1)
set topPixels($core.int v) { $_setSignedInt32(0, v); }