Video resolution width in px
@$pb.TagNumber(1) $core.int get widthPx => $_getIZ(0);
@$pb.TagNumber(1) set widthPx($core.int v) { $_setSignedInt32(0, v); }