pr0gramm.com - Page Title Changer

Set new pre-defined page title for pr0gramm.com

Verzia zo dňa 07.03.2019. Pozri najnovšiu verziu.

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey, Greasemonkey alebo Violentmonkey.

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey, % alebo Violentmonkey.

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey, % alebo Violentmonkey.

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey alebo Userscripts.

Na inštaláciu tohto skriptu je potrebné nainštalovať rozšírenie, ako napríklad Tampermonkey.

Na inštaláciu tohto skriptu je potrebné nainštalovať rozšírenie správcu používateľských skriptov.

(Už mám správcu používateľských skriptov, nechajte ma ho nainštalovať!)

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie, ako napríklad Stylus.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie, ako napríklad Stylus.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie, ako napríklad Stylus.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie správcu používateľských štýlov.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie správcu používateľských štýlov.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie správcu používateľských štýlov.

(Už mám správcu používateľských štýlov, nechajte ma ho nainštalovať!)

// ==UserScript==
// @name         pr0gramm.com - Page Title Changer
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  Set new pre-defined page title for pr0gramm.com
// @author       lalelu
// @match        https://pr0gramm.com/*
// @grant        none
// ==/UserScript==

var settings = {
    'updateIntervalTime' : '10',
    'newTitle' : 'Google' //here is the new title, change it if you want
};

function changeIt(){
    document.title = settings.newTitle;
}

(function() {
    'use strict';

    var oldTitle = document.title;
    window.setInterval(function() {
        if (document.title !== oldTitle){changeIt();}
        oldTitle = document.title;
    }, settings.updateIntervalTime);

})();