Utente:ZandDev/common.js
Questa pagina definisce alcuni parametri di aspetto e comportamento generale di tutte le pagine. Per personalizzarli vedi Aiuto:Stile utente.
Nota: dopo aver salvato è necessario pulire la cache del proprio browser per vedere i cambiamenti (per le pagine globali è comunque necessario attendere qualche minuto). Per Mozilla / Firefox / Safari: fare clic su Ricarica tenendo premuto il tasto delle maiuscole, oppure premere Ctrl-F5 o Ctrl-R (Command-R su Mac); per Chrome: premere Ctrl-Shift-R (Command-Shift-R su un Mac); per Konqueror: premere il pulsante Ricarica o il tasto F5; per Opera può essere necessario svuotare completamente la cache dal menù Strumenti → Preferenze; per Internet Explorer: mantenere premuto il tasto Ctrl mentre si preme il pulsante Aggiorna o premere Ctrl-F5.
// Inizio evidenziatore diff generato con lo strumento "Evidenzia diff" //
// http://jsfiddle.net/xc2x4xuL/26/embedded/result/
const DEL_BGCOLOR = "rgb(252, 208, 105)";
const ADD_BGCOLOR = "rgb(102, 181, 255)";
const MAX_CHAR_NUM =2;
function changeBgcolor (lines, color) {
for (var i = lines.length - 1; i >= 0; i--) {
elems = lines[i].getElementsByClassName("diffchange-inline");
for (var j = elems.length - 1; j >= 0; j--) {
elem = elems[j];
if (elem.innerHTML.length <= MAX_CHAR_NUM)
elem.style.background = color;
}
}
}
changeBgcolor(document.getElementsByClassName("diff-deletedline"), DEL_BGCOLOR);
changeBgcolor(document.getElementsByClassName("diff-addedline"), ADD_BGCOLOR);
// Fine evidenziatore diff
// +TOC in Vector 2022
/**
* Auto-number Vector TOC
*
* @author ZandDev
* @version 2024-05-30
*/
/*
var toc = document.querySelector('#vector-toc');
if (toc) {
var list = toc.querySelector('.vector-toc-contents');
var headlines = list.querySelectorAll('li + li');
headlines.forEach(function (currentValue, currentIndex) {
let span = document.createElement("span");
span.append(currentIndex + 1 + ' ');
currentValue.prepend(span);
});
}*/
// per le prove in anteprima
/*
var menu = document.querySelector('#mw-navigation');
var list = menu.querySelector('.vector-menu-content-list');
var headlines = list.querySelectorAll('li + li');
console.log(headlines);
headlines.forEach(function (currentValue, currentIndex) {
let span = document.createElement("span");
span.append(currentIndex + 1 + ' ');
console.log(`${currentValue}, ${currentIndex} + 1`);
currentValue.prepend(span);
});
*/