pgadmin-org / pgadmin-org/pgadmin4
F3: select next find match, Shift-F3: select previous match
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 3.8k
- Forks
- 891
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 8
Description
Describe the solution you'd like
Can shortcut F3 be mapped to the 'select next find match' button (down arrow) when searching in code with Ctrl+F, and Shift=F3 be mapped to the 'select previous find match' button (up arrow)?
Describe alternatives you've considered
The buttons work fine, but the F3/Shift+F3 shurtcuts have registered in my muscle memory due to most other editors having this key mapping.
Contributor guide
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
The issue does not name a file, test, or entry point. Start by locating the code-editor search controls and existing keyboard shortcut handling for Ctrl+F; done means F3 selects the next match and Shift+F3 selects the previous match while searching.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- developer-experience
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100