Change tab size on GitHub

Change tab width from 8 to 4 on GitHub

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

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

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

// ==UserScript==
// @name               Change tab size on GitHub
// @name:zh-CN         修改 GitHub tab 宽度
// @namespace          https://github.com/zkqiang
// @version            1.4
// @description        Change tab width from 8 to 4 on GitHub
// @description:zh-CN  将 GitHub 代码区域的 tab 宽度从 8 修改为 4
// @author             zkqiang
// @match              *://github.com/*
// @grant              none
// @license            MIT
// ==/UserScript==

(function () {
  'use strict';

  function change() {
    document.querySelectorAll('table[data-tab-size]').forEach(function (node) {
      node.setAttribute('data-tab-size', '4');
    });
    document.querySelectorAll('.highlight').forEach(function (node) {
      node.style['tab-size'] = '4';
    });
  }

  change();
  document.addEventListener('pjax:end', change);
})();