@$pb.TagNumber(25) FFDim get optionsOverlayHeight => $_getN(24);
@$pb.TagNumber(25) set optionsOverlayHeight(FFDim value) => $_setField(25, value);