☰

GitHub Diff Links

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

Versión del día 22/07/2016. Echa un vistazo a la versión más reciente.

Autor
Mottie
Calificaciones
0 0 0
Versión
1.0.0
Creado
22/07/2016
Actualizado
22/07/2016
Tamaño
2.6 KB
Licencia
https://creativecommons.org/licenses/by-sa/4.0/
Funciona en

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

  • A "Prev" and/or "Next" button is added to each diff 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