> On Feb 15, 2016, at 1:24 PM, Robby Findler <ro...@eecs.northwestern.edu> > wrote: > > Do you also prefer that to just showing everything colored?
To make sure I understand you (or the reverse); I’m suggesting that for a correctly covered program, the resulting program would be colored in the same way that it currently is for a correctly colored program (which AFAICT is the same as the coloring before the program is run), and that a line would be added to the interactions window. This seems like it would be less work and less potentially irritating than a recurring (albeit disable-able) dialog, though of course by the same token it probably makes it somewhat more likely that students will miss it. Once again, this is not a major problem for my students, and I don’t think it costs my students much sleep. (Honestly, pixel-level whizzy scrolling would be a much bigger deal for them.) John (obconfusion explanation: When you say “showing everything colored,” I’m not sure whether you mean (a) everything colored as it currently is, (b) everything in orange with black highlighting, or (c) everything in black.) > > Robby > > > On Mon, Feb 15, 2016 at 3:06 PM, 'John Clements' via Racket Users > <racket-users@googlegroups.com> wrote: >>> >>> I think that by the time they work hard to cover everything and the >>> coverage colors disappear they quickly jump to a conclusion that >>> something is wrong. -- I even have the server report to them about >>> uncovered code, but even that doesn't help. >>> >>> In case it wasn't clear -- this is not too important, just something >>> that strikes me as weird every time another student gets confused. >> >> +1 to all of the above. I generally have to explain this to four or five >> students in each class. >> >> What if a one-line message appeared in the interactions window, just after >> the version information? >> >> John >> >> >> >> -- >> 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. > > -- > 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. -- 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.
