Le 5 juin prochain, Mozilla va livrer Firefox 13. Nous avons déjà évoqué les nouveautés à attendre pour cette version dont au niveau de la page d'accueil, pour l'ouverture d'un nouvel onglet, l'activation par défaut du défilement doux ou encore de SPDY pour accélérer l'affichage des pages ( voir notre actualité ).

Firefox 13 proposera également la restauration de tous les onglets au démarrage du navigateur mais, par défaut, sans chargement du contenu des onglets qui n'auront pas le focus afin que le démarrage soit plus rapide. Une autre fonctionnalité sera la remise à zéro.

Cette fonctionnalité va permettre de restaurer Firefox à son état initial. Exit plugins, modules complémentaires et autres qui pourraient être la source de problèmes ou ralentissements. Un coup de balai est opéré pour retrouver un profil utilisateur propre. Mais un ménage raisonné.

C'est bien là le point intéressant, la réinitialisation conserve les marque-pages, les mots de passe, cookies et données des formulaires ( pas les paramètres de synchronisation ou les onglets ouverts ). De quoi retrouver un Firefox performant comme lors de la première installation, sans sacrifier ses données personnelles.

Firefox-13-reset Tout se fait de manière transparente pour l'utilisateur. En coulisse, la fonctionnalité procède à une migration des données personnelles à conserver vers un nouveau profil par défaut. Puis l'ancien profil est supprimé et le nouveau prend sa place.

Avec la dernière version bêta de Firefox 13 ( bêta 6 ), la fonctionnalité est accessible via l'Aide et Informations de dépannage. Un bouton Réinitialiser Firefox est disposé en haut à droite de la page obtenue. À noter que la fonctionnalité n'est valable que pour les données du profil par défaut.

Pour plus tard, il est prévu de rendre ce bouton plus visible pour l'utilisateur, de proposer une réinitialisation après plusieurs plantages de Firefox au démarrage ou lors d'une réinstallation de Firefox.