☰

Reload GitHub Pull Request Diff page to ignore whitespace

Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.

Per 27-05-2014. Zie de nieuwste versie.

Maker
deadlydog
Beoordelingen
0 0 0
Versie
1.1
Gemaakt op
27-05-2014
Bijgewerkt op
27-05-2014
Grootte
769 bytes
Licentie
N.v.t.
Wordt toegepast op

This script will reload the GitHub Pull Request Diff page with the special URL modifier that signals to GitHub that the file diffs should ignore whitespace. If you don't care about whitespace differences, this makes viewing the file changes much easier and often drastically decreases the amount of irrelevant code (i.e. only whitespace changed) shown by the diff.

长期地址
遇到问题？请前往 GitHub 提 Issues。