GitHub Diff Links

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

Autor
Mottie
Dziennych instalacji
0
Wszystkich instalacji
133
Oceny
5 0 0
Wersja
1.2.18
Utworzono
22-07-2016
Zaktualizowano
17-02-2024
Rozmiar
3,58 KB
Licencja
MIT
Dotyczy

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

长期地址
遇到问题?请前往 GitHub 提 Issues。