a Texas court case on voting district lines