Aggiornamento v12.5 r6

Elenco dei miglioramenti e correzioni contenute nell'aggiornamento 12.5 r6 rilasciato il 31 ottobre 2013:

• IDE: Se si utilizzava Tomcat 5 l'avvio di una applicazione web in tecnologia Java falliva.
• WEB: E' stato corretto un malfunzionamento che in alcuni casi molto particolari faceva sì che il testo digitato all'interno di un campo di tipo HTML (CKEditor) venisse modificato dal server.
• WEB: Su IE10 non era possibile utilizzare la scrollbar nei pannelli utilizzando i bottoni all'interno della stessa. La scrollbar funzionava correttamente se si utilizzava la rotella del mouse.
• WEB: E' stata corretta la visualizzazione della status bar nei book (spenta per default ma attivabile tramite il metodo ShowStatusBar del book) in applicazioni mobile per i temi Mobile, Quadro e Mobile7.
• AND: Il metodo DenyOrientation in Android non funzionava correttamente qualora il dispositivo fosse nell'orientazione ammessa.

RD3: CKEditor perde valore in caso particolare	È stato corretto un problema relativo a CKEditor, che a volte perdeva i valori inseriti dall'utente
RD3: D&D su IE10	È stato corretto il funzionamento del D&D su IE10