☰

GitHub Diff Links

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

Pada tanggal 10 Mei 2018. Lihat %(latest_version_link).

Penulis
Mottie
Nilai
0 0 0
Versi
1.2.10
Dibuat
22 Juli 2016
Diperbarui
10 Mei 2018
Size
3,51 KB
Lisensi
MIT
Berlaku untuk

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