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 ocr_rds(){
  var editbox = document.getElementsByName('wpTextbox1')[0];
  editbox.value = editbox.value.replace(/ c /g, ' e ')
.replace(/«l/g, 'd')
.replace(/ «pi/g, ' qu')
.replace(/ \(pi/g, ' qu')
.replace(/l\>/g, 'b')
.replace(/ ò /g, ' è ')
.replace(/ \<l/g, ' d')
.replace(/ ili /g, ' di ')
.replace(/ 1111 /g, ' un ')
.replace(/ 11011 /g, ' non ')
.replace(/1’/g, 'l’')
.replace(/\<br \/\>\n/g, '\n\n')
.replace(/ clic /g, ' che ')
.replace(/ fìsica /g, ' fisica ')
 ;
}

//</pre>