racket / racket/drracket

"hide module browser" menu entry shows line numbers instead

Open
#373 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
Racket
Stars
516
Forks
103
PR merge metrics
No merged PRs in 30d

Description

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:

Screen Shot 2020-05-05 at 10 26 36 AM

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.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by trying to reproduce the menu behavior in DrRacket 7.7.0.4, using the reported screenshot as the reference. If it occurs, trace the menu entries involved in the duplicate optimization coach and module browser items. Done means the module browser entry has the correct label and action, line-number toggling remains separate, and duplicate entries are removed.

Written by the indexing model from the issue text.

Assessment

Domain
desktop
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.