Ho utilizzato il componente che mi hai consigliato, ma sembra che il problema della determinazione della grandezza del file da scaricre rimanga. Ho visto anche gli eventi che mi consigliavi ma non sono riuscito a capire da dove tirare fuori la dimensione totale.