duplicazione risultato fix

js/dataMgr_5.1.js

@@ -13,6 +13,8 @@ var listaversicommentati=[]
 var listaidcommenti = []
 var listarisriferimenti = []
 var listariferimentirisultato=[]
+var processedrif=new Set()
+
 const cantobadgeclassBis = 'badge badge-outline-warning badge-pill'
 
 const JSDELIVR_BUNDLES = duckdb.getJsDelivrBundles();
@@ -109,20 +111,24 @@ console.log('done')
 
 opzioniRiferimenti()
 
+
 export function versoCommentato(rif) {
 	if (listaversicommentati.includes(rif)){
 		var pars=rif.split('_')
 		var tc=pars[2]
 		if (tc.length==1)
 			tc='0'+tc
-		getCitazioniInVerso(pars[0], tc, pars[3])
+		if(! processedrif.has(rif)){
+			getCitazioniInVerso(pars[0], tc, pars[3])
+			processedrif.add(rif)
+		}
 		return true
 	}
 	return false;
 }
 
 export function getRisultatiRiferimenti() {
-	//listarisriferimenti=[... new Set(listarisriferimenti)]
+	listariferimentirisultato=[... new Set(listariferimentirisultato)]
 	return listariferimentirisultato;
 }
 export function getListaRis() {
@@ -136,6 +142,7 @@ export function cleanListaRis() {
 	listaidcommenti = [];
 	listarisriferimenti = [];
 	listariferimentirisultato=[]
+	processedrif=new Set()
 }
 export function getFontiS() {