public VtAttributes reverseVideo(ReverseVideo reverse) {
		return new VtAttributes(fg, bg, intensity, font, underline, blink, reverse, hidden,
			strikeThrough, proportionalSpacing);
	}
Create a copy of this record with the reverse-video replaced

@param reverse the new reverse-video
@return the new record
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/terminal/vt/VtAttributes.java