Utente:Micione/ocr var.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.

//<pre>
function salute(){
	var editbox = document.getElementsByName('wpTextbox1')[0];
	editbox.value = editbox.value.replace(/\nN./g, '\n\nN.')
        .replace(/�\n/g, '')
/*        .replace(/�/g, '') */
        .replace(/___/g, '<center><hr style="width:4em"></center>')
        .replace(/é/g, 'è')
        .replace(/E'/g, 'È')
        .replace(/E’/g, 'È')
        .replace(/\ \ \n/g, '\n')
        .replace(/\ \n/g, '\n')
        .replace(/-\n/g, '')
        .replace(/\nr /g, '\nl’')
        .replace(/ r /g, 'l’')
        .replace(/\"_/g, '“')
.replace(/"“ /g, '“')
.replace(/ „/g, '„')

        ;
}
//</pre>