Le navigateur Firefox, lancé par Mozilla en 2004, a vécu une histoire mouvementée. Il a contribué à faire chuter Internet Explorer avant de connaître lui-même une baisse marquée de son nombre d’utilisateurs.
Depuis deux ans, Mozilla multiplie ses efforts pour moderniser son navigateur, en ajoutant des fonctions très demandées (groupes d’onglets, onglets verticaux). Une nouvelle étape est franchie avec l’apparition d’une évolution longtemps réclamée, la personnalisation des raccourcis clavier.
Cette fonctionnalité fait partie des requêtes les plus anciennes de la communauté Firefox. Jusqu’ici, seuls quelques modules complémentaires permettaient de la faire mais la plupart ont cessé de fonctionner avec les changements de système d’extensions opérés par Mozilla.
Firefox adopte désormais une approche plus flexible. En effet il devient enfin possible de modifier les raccourcis par défaut pour en choisir de nouveaux. C’est une bonne nouvelle si vous trouvez que certains raccourcis sont trop complexes ou trop proches d’autres commandes.
Cette nouveauté fait son apparition dans la version “Nightly” 147 du navigateur (version en développement). La version stable de Firefox est en 145. Nous ne savons pas si elle arrivera dès Firefox 147, mais son intégration est imminente.
Comment tester la personnalisation des raccourcies ?
Pour tester la personnalisation, il suffit d’entrer about:keyboard dans la barre d’adresse. Une page dédiée s’affiche. Elle regroupe une longue liste de raccourcis modifiables. Une barre de recherche permet de trouver une commande précise. On retrouve notamment les incontournables comme
- Ctrl + T (nouvel onglet),
- Ctrl + P (impression),
- mais aussi Ctrl + Maj + H (historique complet) ou Ctrl + Maj + A (extensions).
Un simple bouton permet de remplacer n’importe quel raccourci. Firefox n’impose aucune limite : il est même possible d’assigner une seule touche, ce qui peut accélérer la navigation mais aussi entraîner des conflits potentiels. Prudence donc.
Enfin une option Clear permet de supprimer entièrement un raccourci gênant tandis qu’un bouton de réinitialisation permet d’annuler chaque modification et un bouton global permet de restaurer l’ensemble des raccourcis par défaut.
