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.
// divide testo (stringa html) in una lista di tag e di nodi testo
function splitHtml(testo){
	var lista=[];
	var tag=false;
	var el="";
	var car="";
	for (i=0;i<testo.length;i+=1) {
		car=testo.substr(i,1);
		if (car=="<") {
			tag=true;
			if (el!=="") lista.push(el);
			el="<";
			continue;
		} 
		if (car==">") {
			tag=false;
			lista.push(el+">");
			el="";
			continue;
		}
		el+=car;
		
	}
	lista.push(el);
	return lista;
}

// funzione test: dato ini, fin restituisce il testo html compreso nella pagina
function trovaCodice(ini,fin) {
	var html=$("body").html();
	var codice=find_stringa(html,ini,fin,1);
	alert(codice);
	return codice;
}