I feel like a bar in the drracket window is a better choice than a printout in the REPL and I've half implemented it, but it feels like the message is a bit too far away. What do you think of these screenshots?
http://www.eecs.northwestern.edu/~robby/tmp/a.png http://www.eecs.northwestern.edu/~robby/tmp/b.png Is the bar on the bottom too subtle? Robby On Mon, Feb 15, 2016 at 4:05 PM, 'John Clements' via Racket Users <[email protected]> wrote: > >> On Feb 15, 2016, at 2:00 PM, Robby Findler <[email protected]> >> wrote: >> >> I mean (c). I think (b) means "nothing ran" (right?). And I'm asking >> if (c) is preferable to adding a "congrats!" note to the current >> behavior. >> >> And I'm asking this as two questions, one about "the racket language" >> and one about the HtDP languages. > > In my mind, (c) (all black) looks slightly un-festive and punitive. That may > just be because I’ve thoroughly internalized the current scheme, though. I > think I would apply this change to both the HtDP languages and the “the > racket language” language, though I think the case is stronger for the HtDP > languages (in that they are used more often by students who have a harder > time figuring things like this out). > > John > >> >> Robby >> >> On Mon, Feb 15, 2016 at 3:50 PM, 'John Clements' via Racket Users >> <[email protected]> wrote: >>> >>>> On Feb 15, 2016, at 1:24 PM, Robby Findler <[email protected]> >>>> 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 >>>> <[email protected]> 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 [email protected]. >>>>> 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 [email protected]. >>>> 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 [email protected]. >>> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
