legacyTopCardHeightFraction property

@Deprecated('This field is deprecated.') @TagNumber(4) double get legacyTopCardHeightFraction

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(4)
$core.double get legacyTopCardHeightFraction => $_getN(3);

@Deprecated('This field is deprecated.') @TagNumber(4) set legacyTopCardHeightFraction (double value)

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(4)
set legacyTopCardHeightFraction($core.double value) => $_setDouble(3, value);