GitHub Diff Files Filter

A userscript that adds filters that toggle diff & PR files by extension

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

ผู้เขียน

Mottie

คะแนน

0 0 0

เวอร์ชัน

0.1.0

สร้างเมื่อ

31-12-2016

อัปเดตเมื่อ

31-12-2016

Size

4.79 กิโลไบต์

สัญญาอนุญาต

https://creativecommons.org/licenses/by-sa/4.0/

ปรับใช้กับ

A userscript that adds filters that toggle diff & PR files by extension

A group of buttons are added above diff & pull request files with file name extensions.
Files with no extension will be labeled as "«no-ext»".
Click on one more more buttons to toggle the view of the files.
Use the "«all»" filter button to toggle the view of all files.
Original idea from the Github Pr Filter extension.
After installing, try the userscript on this page: repo inital commit.

github-diff-files-filter