More work on bug #8242.  Now everything works but the auto coloring.