sindresorhus/refined-github



The issue has been closed
Pull request / Tab Files - Toggle files by clicking on their header bar #3738
MrChocolatine posted onGitHub
<!-- 1. Make sure your requested feature makes sense for Refined GitHub: https://github.com/sindresorhus/refined-github/issues/2960 2. Include a full URL where the feature should appear. -->
When viewing the files list of a pull request,
it would be nice to be allowed to toggle any file by clicking on their "header bar" (bar that contains the filename, the checkbox [ ] Viewed
and the 3-dots menu).
For instance on this page: https://github.com/microsoft/TypeScript/pull/12114/files
This feature should appear on this kind of URL:
https://github.com/<owner>/<repository>/pull/<pr_id>/files