Re leaving the coverage colors: for the purpose of my class that would
do fine, but for actual use, the lack of full coverage indication means
that you'll need to scroll through the text to find out if you have it
or not...
So something like a status bar message would be better, either with
leaving the coverage colors or not. Even better if it "jumps up" as
John said, so that it draws attention to it.
--
((x=>x(x))(x=>x(x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
