Not so much a question...
I lost the double-click behavior (selection of symbol under cursor) in DrRacket somehow and had to completely reload Racket/DrRacket to get it back.
I think that it happened when I loaded two DrRacket plugins (at the same time on account of I'm an idiot):
Afterwards nothing seemed to get the double-click behavior back. I tried removing the two packages and then all packages (restarting DrRacket each time). I couldn't find a setting to turn it back on.
I'm back up and don't want to spend a lot of time on this. Just thought I should say something.