github / github/app

[Requests and ideas] Search in PR contents

オープン
#1,335 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る
Requests and ideas
主要言語
言語のデータがありません
スター
2.1k
フォーク
153
PR マージ指標
30日以内にマージされた PR はありません

説明

**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 |

コントリビューションガイド

コントリビューションガイドを開く

調査の方向性

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.

索引モデルが issue の本文から書いたものです。

評価

領域
desktop, search
issue の種類
機能追加
難易度
5/5
見積もり時間
1週間以上
活発さ
静か
明瞭さ
説明が足りない
初心者へのやさしさ
30/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。