My DrRacket is currently in a state where the menu entry labeled "hide menu browser" actually toggles showing line numbers. I made a movie of this, but honestly, a screenshot of this messed-up menu will probably suffice:
Note the double presence of the optimization coach entry and the module browser entry.
For once, I'm running a pretty-up-to-date DrRacket:
Welcome to DrRacket, version 7.7.0.4--2020-05-03(-/f) [cs].
Language: Determine language from source [custom]; memory limit: 256 MB.
I haven't tried to reproduce this yet.
Okay, now I tried. And failed :(
I have the movie of me clicking the menu entry and the wrong thing happening, but I'm not sure that's really worth the upload bandwidth.
My DrRacket is currently in a state where the menu entry labeled "hide menu browser" actually toggles showing line numbers. I made a movie of this, but honestly, a screenshot of this messed-up menu will probably suffice:
Note the double presence of the optimization coach entry and the module browser entry.
For once, I'm running a pretty-up-to-date DrRacket: Welcome to DrRacket, version 7.7.0.4--2020-05-03(-/f) [cs]. Language: Determine language from source [custom]; memory limit: 256 MB.
I haven't tried to reproduce this yet.
Okay, now I tried. And failed :(
I have the movie of me clicking the menu entry and the wrong thing happening, but I'm not sure that's really worth the upload bandwidth.