Github Pull Requests - Always Hide Whitespace

Always add the "hide whitespace" when viewing Github PR diffs

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey, Greasemonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Userscripts.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een gebruikersscriptbeheerder nodig.

(Ik heb al een user script manager, laat me het downloaden!)

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

(Ik heb al een beheerder - laat me doorgaan met de installatie!)

// ==UserScript==
// @name        Github Pull Requests - Always Hide Whitespace
// @namespace   github-hide-whitespace
// @match       *://*.github.com/*/pull/*/files*
// @run-at      document-start
// @grant       none
// @version     1.0.0
// @description Always add the "hide whitespace" when viewing Github PR diffs
// @license     MIT
// ==/UserScript==

/*
This script will always add the "hide whitespace" url param when viewing Github
pull request diffs, with ?w=1 or &w=1.

You can override to show whitespace diffs by manually changing to w=0 in your
query instead of w=1, and script will leave it alone
*/

var oldUrlSearch = window.location.search;

// Test if "&w=" or "?w=" is in the search params
if ( !/[?&]w=/.test(oldUrlSearch) ) {
    // if there were already other search params, just add on with '&'
    var ampersandOrQuestionMark = !!oldUrlSearch ? '&' : '?';

    var newURL = window.location.protocol + "//"
                + window.location.host
                + window.location.pathname
                + oldUrlSearch + ampersandOrQuestionMark + "w=1"
                + window.location.hash;

    window.location.replace(newURL);
}