☰

GitHub - Make PRs easier to diff

Add some functionality to github

Làm thế nào để cài đặt

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

Bạn sẽ cần cài đặt một tiện ích mở rộng như Tampermonkey hoặc Violentmonkey để cài đặt kịch bản này.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(Tôi đã có Trình quản lý tập lệnh người dùng, hãy cài đặt nó!)

Làm thế nào để cài đặt

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Tác giả
DrKnoxy
Cài đặt hàng ngày
0
Số lần cài đặt
90
Đánh giá
1 0 0
Phiên bản
1.3
Đã tạo
15-06-2015
Đã cập nhật
19-04-2017
Kích thước
3 KB
Giấy phép
N/A
Áp dụng cho

Making PR.s easier to diff

  1. Accordion style file headers

    • When diffing a PR, the file headers work like an accordion now!
    • Click once to open, click again to close. And opening one doesn't close the others.
    • There is also a "collapse" button added to the page.

  2. Ignore whitespace button

    • When diffing a PR, a new button is added that will toggle the whitespace, like the git command git diff -b

This pairs nicely with github-wide userstyle https://github.com/mdo/github-wide