Github Pull Requests - Always Hide Whitespace

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

Vous devrez installer une extension telle que Tampermonkey, Greasemonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Userscripts pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension de gestionnaire de script utilisateur pour installer ce script.

(J'ai déjà un gestionnaire de scripts utilisateur, laissez-moi l'installer !)

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

(J'ai déjà un gestionnaire de style utilisateur, laissez-moi l'installer!)

// ==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);
}