TiraDadi Rapido 1.3.0

E' passato un bel po' di tempo dall'annuncio dei lavori in cantiere, ma finalmente lo sviluppo è terminato ed è finalmente disponibile la versione 1.3.0 di TiraDadi Rapido (già Dadi Rapidi).
Questa versione porta un sacco di novità, anche se non tutte quelle annunciate:

Cambiato il nome dell'applicazione da Dadi Rapidi a TiraDadi Rapido
Il popup che mostra il risultato e l'animazione del lancio è proporzionale alle dimensioni dello schermo, in modo da essere ben leggibile anche sui tablet
Aggiunta la possibilità di gestire differenti collezioni di dadi e modificatori (profili)
L'algoritmo di generazione di numeri casuali è stato migliorato
E' possibile disabilitare l'immagine di sfondo per migliorare le prestazioni (o anche solo nel caso non piaccia)
Utilizzo del servizio di backup di Android per salvare i dati su cloud (dove disponibile)
Traduzione in spagnolo (grazie a Stefania M.)
Corretto bug nelle espressioni di tipo "dx"
Altre piccole migliorie minori

Per quanto riguarda gli sviluppi annunciati ma non realizzati, il salvataggio automatico dei risultati verrà implementato in una versione futura e le nuove funzioni verranno implementate su richiesta.
Le personalizzazioni degli sfondi e delle icone probabilmente non verranno mai implementate perché scarsamente utili rispetto all'impegno richiesto per la realizzazione (gold planting).