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)
  • Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5.
// include le parole parola dei nodi text di un html testo in uno span evidenziato
function highlight(testo,parola) {
		// eliminazione acapo che i tags html
		var lista=[];
		// fase 1: codifica
		var tags = produciLista(testo, "<", ">", 1);
		for (i = 0; i < tags.length; i += 1) {
			testo = testo.replace(tags[i], "[#" + i + "#]");
		}
		// evidenziazione parola
		testo=testo.split(parola).join("<span style='background-color:yellow'>"+parola+"</span>");
		// fase 3: decodifica
		for (i = 0; i < tags.length; i += 1) {
			testo = testo.replace("[#" + i + "#]", tags[i]);
		}
		return testo
	};