☰

GitHub Diff Links

A userscript that adds links to diff and pull request headers to jump back & forth between files

Versione datata 17/05/2018. Vedi la nuova versione l'ultima versione.

Autore
Mottie
Valutazione
0 0 0
Versione
1.2.11
Creato il
22/07/2016
Aggiornato il
17/05/2018
Dimensione
3,51 KB
Licenza
MIT
Applica a

A userscript that adds links to diff and pull request headers to jump back & forth between files

  • A "Prev" and/or "Next" button is added to each diff & pull request file header.
  • Clicking on the link will jumps to the previous, or next file respectively.
  • A tooltip will show the name of the file that is the target of the link.

github-diff-links

Hosted with ♥ at GitHub