Texas Democrats will lose on redistricting. But they got your attention.