legacyTopCardWidthFraction property

@Deprecated('This field is deprecated.') @TagNumber(1) double get legacyTopCardWidthFraction

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(1)
$core.double get legacyTopCardWidthFraction => $_getN(0);

@Deprecated('This field is deprecated.') @TagNumber(1) set legacyTopCardWidthFraction (double value)

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(1)
set legacyTopCardWidthFraction($core.double value) => $_setDouble(0, value);