Comme prévu, Firefox 13 est arrivé aujourd'hui. Les versions précédentes se sont essentiellement concentrées sur les technologies sous-jacentes du navigateur de Mozilla, mais l'éditeur a cette fois plusieurs nouveautés fonctionnelles.

Le principal changement vu par les utilisateurs sera la page s'affichant à l'ouverture d'un nouvel onglet. L'utilisateur y trouvera une grille de neuf cases regroupant par défaut les sites les plus souvent utilisés. Ces vignettes peuvent être modifiées, déplacées ou supprimées. En outre, on peut choisir d'en épingler une afin qu'elle reste toujours affichée.

Mozilla a également modifié la page qui s'affiche au démarrage de Firefox, si toutefois l'utilisateur n'en utilise pas une personnalisée.

En-dehors du classique champ de recherche, on trouve désormais une liste de boutons en bas : téléchargements, marque-pages, historique, modules (et extensions), Sync et paramètres. Chacun ouvre la section adaptée du navigateur, un bon point pour la visibilité des fonctions. Mais c'est surtout le dernier élément, « Restaurer la session précédente », qui gagne en visibilité alors qu'il était presque « caché » jusqu'à présent dans le menu « Marque-pages ».

Enfin, Firefox ne charge plus que l'onglet actif lors de la restauration de la session. Un réglage mis en place pour éviter que le temps de lancement ne s'allonge démesurément avec le nombre d'onglets à rouvrir. Cela signifie que lorsque l'utilisateur cliquera sur un autre onglet, le contenu s'y chargera, et pas avant.

Deux autres nouveautés sont à signaler dans Firefox 13. La première est un défilement particulièrement doux et clairement accéléré par le GPU. Que le contenu soit bougé depuis un trackpad ou une souris, la différence est très nette. L'autre est une fonctionnalité permettant de nettoyer le profil utilisateur. Elle se lance automatiquement si Firefox détecte de multiples problèmes à son lancement, car la simple réinstallation ne permet pas de faire le ménage dans le profil.