[racket] Highlighting in DrRacket

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Feb 7 19:43:15 EST 2011

On Mon, Feb 7, 2011 at 6:39 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
>>  The problem here is that the pink
>> goes away while you're looking at it.   I can make some guesses as to why
>> you might have made the pink highlighting time-out [...]
> What version are you in?  There was a bug in 5.0.1 that caused the
> pink highlight to disappear.  (Basically, when you have the buffer in
> an unsaved state, DrRacket auto-saves.  Auto-saving changes the buffer
> state, which causes the highlight to go away, just as editing does.)

Oh, yes! I'd forgotten about this.

If you need 5.0.1, I can probably tell you how to patch it to disable
autosaving during lecture or something. (Fixing the bug is probably
best accomplished by upgrading to 5.0.2.)


Posted on the users mailing list.