☰

GitHub - Make PRs easier to diff

Add some js buttons to diffs

À partir de 2015-12-07. Voir la dernière version.

Auteur
DrKnoxy
Évaluations
0 0 0
Version
1.0
Créer
2015-06-15
Mis à jour
2015-12-07
Taille
4,91 ko
Licence
S/O
S'applique à

If you are browsing a PR and go to the "files changed" tab, the file headers work like an accordion now! Click once to open, click again to close. And opening one doesn't close the others. There is also a "collapse" button added to the page.

This pairs nicely with github-wide userstyle https://github.com/mdo/github-wide