[Proposal] add a search/filter bar for files in PR "Files Changed" page #10702

Open
opened 2025-11-02 09:15:58 -06:00 by GiteaMirror · 1 comment
Owner

Originally created by @Technius on GitHub (Apr 21, 2023).

Feature Description

For PRs that involve many files, it would be great if the "Files Changed" page had a search bar above top of the file tree view. This search bar could be used to filter the files shown in the tree view to make navigation easier.

Screenshots

A search bar above the file tree view (right above the "packages" folder in the screenshot) would be very convenient.
image

Originally created by @Technius on GitHub (Apr 21, 2023). ### Feature Description For PRs that involve many files, it would be great if the "Files Changed" page had a search bar above top of the file tree view. This search bar could be used to filter the files shown in the tree view to make navigation easier. ### Screenshots A search bar above the file tree view (right above the "packages" folder in the screenshot) would be very convenient. ![image](https://user-images.githubusercontent.com/1066652/233513859-21e34159-5f49-4a0b-b442-6f798eb2b3ce.png)
GiteaMirror added the topic/prtype/proposaltype/feature labels 2025-11-02 09:15:58 -06:00
Author
Owner

@AHorak commented on GitHub (Jun 6, 2025):

This would be a really important feature.

@AHorak commented on GitHub (Jun 6, 2025): This would be a really important feature.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#10702