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
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
[ ] Viewedand 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