☰

GitHub - Make PRs easier to diff

Add some js buttons to diffs

Fra 07.12.2015. Se den seneste versjonen.

Hvordan installere

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

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 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.

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

Hvordan installere

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!)

Forfatter
DrKnoxy
Vurderinger
0 0 0
Versjon
1.0
Lagd
15.06.2015
Oppdatert
07.12.2015
Size
4,9 kB
Lisens
I/T
Gjelder

If you are browsing a PR and go to the "files changed" tab, 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.

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