Mozilla ha aggiornato Firefox 7 alla versione 7.01. Chi è già in possesso della versione 7.0, puà eventualmente installare l’update selezionando dal menu “Firefox” la voce “Informazioni”: sarà verificata la presenza di aggiornamenti e questi potranno essere installati facendo click sul pulsante “Installa aggiornamenti”. L’update alla release 7.01 risolve un problema minore che, in alcuni casi, occultava gli add-on.
Gli sviluppatori nel frattempo proseguono con il rilascio a ritmi continui di nuovi update e hanno reso disponibile anche la versione 8 (una beta, per il momento). Alcune nuove funzionalità della futura release sono ad ogni modo interessanti: ora, ad esempio, è stato aggiunto Twitter nella sezione dei motori di ricerca tra i quali è possibile ricercare direttamente nella barra di navigazione ed eseguire query per parole chiave (nella versione italiana questa funzione non è integrata, ma è probabile che lo sarà quanto prima). Dalla sezione “Generale” delle Preferenze è ora possibile selezionare la voce “Mostra le finestre e le schede dell’ultima sessione” quando si avvia Firefox. Per sicurezza e compatibilità, ora l’applicazione chiede sempre conferma quando l’utente decide di installare estensioni o componenti aggiuntivi di terze parti. La gestione dei pannelli (o meglio “schede” come preferisce chiamarli Mozilla) è migliorata: il riordino degli elementi è più semplice, non compare più il piccolo indicatore per mostrare il punto in cui verrà posizionata una scheda e l’anteprima creata durante lo spostamento della finestra è migliore.
[A cura di Mauro Notarianni]
