From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Mon Feb 7 19:39:02 EST 2011 |
|
> 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.) Shriram
Posted on the users mailing list. |
|