Utente:Luvot/PersonalButtons.js

Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
Opera: premi Ctrl-F5.

convertiApostrofi = function() {
	textbox = document.getElementsByName('wpTextbox1')[0];
	textbox.value = textbox.value.replace(/'/g, "’");
	textbox.value = textbox.value.replace(/’’’/g, "’''");
	textbox.value = textbox.value.replace(/’’/g, "''");
};

convertiErroriOCR = function() {
	textbox = document.getElementsByName('wpTextbox1')[0];
	textbox.value = textbox.value.replace(/fì/g, "fi");
	textbox.value = textbox.value.replace(/dì’/g, "di’")
};

convertiTutti = function() {
	convertiAcuti();
	convertiApostrofi();
	convertiErroriOCR();
};

newButton("all", "convertiTutti()", "es");
newButton("é->è", "convertiAcuti()", "es","Converte é in è");
newButton("’->'", "convertiApostrofi()", "es","Converte ' in ’");