Change tab size on GitHub

Change tab width from 8 to 4 on GitHub

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey, Greasemonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да инсталирате разширение, като например Tampermonkey .

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Userscripts.

За да инсталирате скрипта, трябва да инсталирате разширение като Tampermonkey.

За да инсталирате този скрипт, трябва да имате инсталиран скриптов мениджър.

(Вече имам скриптов мениджър, искам да го инсталирам!)

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

(Вече имам инсталиран мениджър на стиловете, искам да го инсталирам!)

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