[Requests and ideas] Search in PR contents
- Vorherrschende Sprache
- Keine Sprachdaten
- Sterne
- 2.1k
- Forks
- 153
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
**Mood:** 😊
**Category:** Requests and ideas
Search in PR contents
Currently searching on PR changes tab (Ctrl+F5) brings the search PRs menu. In the browser I would commonly use page search to quickly see the symbol references in the changes.
---
| Field | Value |
| --- | --- |
| App version | 1.0.6 |
| OS | Windows 10.0.26200 |
| Theme | GitHub |
| Path | /mywork |
| Tenure | Week 2 |
Beitragsleitfaden
Rechercherichtung
Reproduce the issue in the GitHub app on Windows 10.0.26200 using version 1.0.6: open a pull request's changes tab and press Ctrl+F5. Investigate how the app currently handles that shortcut, then define completion as searching within the visible PR changes so symbol references can be found like browser page search.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Bereich
- desktop, search
- Issue-Typ
- Feature
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Ruhig
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 30/100