Open defining file should jump to definition
Nobody has claimed this yet.
- Dominant language
- Racket
- Stars
- 516
- Forks
- 103
- PR merge metrics
- No merged PRs in 30d
Description
There are two cases when jump-to-definition-callback is called: the file with the definition has not been opened, or is already opened. If it's already opened, DrRacket will jump to definition as expected. However, if it has not been opened, it will simply open the defining file without jumping to definition. Making it jumping to definition too would be an improvement.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start at drracket/drracket/private/syncheck/gui.rkt around jump-to-definition-callback at line 1877. Compare the behavior when the defining file is already open with the behavior when it is opened by the callback. Done means opening an unopened defining file also moves the editor to the definition.
Written by the indexing model from the issue text.
Assessment
- Domain
- developer-experience, tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100