GitHub Diff Links

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

ของเมื่อวันที่ 15-09-2016 ดู เวอร์ชันล่าสุด

ผู้เขียน
Mottie
คะแนน
0 0 0
เวอร์ชัน
1.1.1
สร้างเมื่อ
22-07-2016
อัปเดตเมื่อ
15-09-2016
Size
3.03 กิโลไบต์
สัญญาอนุญาต
https://creativecommons.org/licenses/by-sa/4.0/
ปรับใช้กับ

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