Github Pull Requests - Always Hide Whitespace

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

スクリプトをインストールするには、Tampermonkey, GreasemonkeyViolentmonkey のような拡張機能のインストールが必要です。

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

スクリプトをインストールするには、TampermonkeyViolentmonkey のような拡張機能のインストールが必要です。

スクリプトをインストールするには、TampermonkeyUserscripts のような拡張機能のインストールが必要です。

このスクリプトをインストールするには、Tampermonkeyなどの拡張機能をインストールする必要があります。

このスクリプトをインストールするには、ユーザースクリプト管理ツールの拡張機能をインストールする必要があります。

(ユーザースクリプト管理ツールは設定済みなのでインストール!)

このスタイルをインストールするには、Stylusなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus などの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus tなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

(ユーザースタイル管理ツールは設定済みなのでインストール!)

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください
// ==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);
}