My understanding is that the names Henderson and Henderson City were used interchangeably to refer to Barret Manual Training High School, which (along with segregated Douglass High School) was the public high school operated by the Henderson City Board of Education. Henderson Senior High School/Henderson City High School replaced Barret in the mid-1950s and Douglass merged into Henderson City High School in the mid-1960s. In the mid to late 1970s, the Henderson City Board of Education merged with the Henderson County Board of Education, leaving a single public high school now known as Henderson County High School.