Ne manquez plus aucune de nos publications :
Mozilla propose aujourd’hui au téléchargement la version stable de Firefox 137 avec quelques nouveautés au programme, dont le système pour grouper les onglets.
Voici comment Mozilla présente l’action de grouper les onglets avec Firefox 137 :
Restez productif et organisé avec moins d’efforts en regroupant les onglets apparentés. Pour créer un groupe, il suffit de faire glisser un onglet sur un autre, de marquer une pause jusqu’à ce qu’une surbrillance apparaisse, puis de déposer l’onglet pour créer le groupe. Les groupes peuvent être nommés, codés par couleur et sont toujours enregistrés. Vous pouvez fermer un groupe et le rouvrir plus tard.

Il est bon de noter qu’il s’agit d’une fonctionnalité en cours de déploiement. Certains l’ont dès maintenant, mais d’autres l’auront réellement au fil des prochaines semaines. Il est cependant possible de faire du forcing pour en profiter dès aujourd’hui. Pour cela, entrez about:config dans la barre d’adresse du navigateur. Cherchez browser.tabs.groups.enabled dans la liste qui apparaît et faites un double clic sur la ligne pour passer la valeur « False » en « True ». Il suffit ensuite de redémarrer Firefox.
D’autre part, la barre d’adresse de Firefox évolue avec ces nouveautés comme l’indique Mozilla :
Enfin, Mozilla dit que la mise à jour de Firefox identifie désormais tous les liens dans les PDF et les transforme en hyperliens, supporte la lecture des vidéos HEVC sur Linux, propose la signature dans les PDF et peut utiliser la barre d’adresse comme calculatrice.
Firefox 137 est disponible au téléchargement sur le site de Mozilla.
L’Agence nationale des fréquences (ANFR) a publié les données concernant le déploiement de la 4G et de la 5G par les...
Samsung annonce que son HDR10+ Advanced, annoncé il y a quelques mois et concurrent du Dolby Vision 2, fera ses débuts en ce mois...
Motorola pourrait bientôt revenir sur le marché des montres connectées haut de gamme avec la Moto Watch Ultra. Des rendus...
Un an après avoir enregistré une perte nette de 86 millions d’euros au deuxième trimestre de 2025, Spotify affiche un...
Spider-Man: Brand New Day frappe fort, très fort même, en ayant atteint 1 milliard de dollars au box-office en seulement six jours....