legacyBottomCardHeightFraction property

@Deprecated('This field is deprecated.') @TagNumber(6) double get legacyBottomCardHeightFraction

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(6)
$core.double get legacyBottomCardHeightFraction => $_getN(5);

@Deprecated('This field is deprecated.') @TagNumber(6) set legacyBottomCardHeightFraction (double value)

Implementation

@$core.Deprecated('This field is deprecated.')
@$pb.TagNumber(6)
set legacyBottomCardHeightFraction($core.double value) =>
    $_setDouble(5, value);