Ceci est une ancienne révision du document !
Table des matières
Personnalisation graphique de Firefox
Firefox est très personnalisable, et j'en profite afin de donner la meilleure expérience utilisateur. Ce tutoriel est basé sur la version 89 de Firefox.
Voici Firefox avant ma personnalisation (Captures d'écran de Firefox v89 sous Linux Mint Mate 20) :
J'ouvre le « Menu » (le menu hamburger ☰), puis « Outils supplémentaires » et puis « Personnaliser la barre d'outils ». Et à partir d'ici je personnalise l'interface comme je la veut :
Ensuite, je valide, puis je continue :
- J'affiche la barre personnelle en faisant un clic droit sur la barre de titre, en allant dans « Barre personnelle » et en choisissant « Toujours afficher ».
- Je supprime les marque-pages déjà existants.
Et ça donne une interface très épurée :
Personnalisation avancée
Depuis la version 89 la barre des onglets a grossi et les onglets deviennent « flottants ». Certaines personnes n'aiment pas (ça prend trop d'espace à l'écran) ou c'est moins visible qu'avant, voici donc deux propositions différentes pour ajuster ça.
Il faut aller dans la page about:config
pour régler ces paramètres. (voici une explication du fonctionnement de cette page de configuration avancée ()
Garder l'ancienne interface
Mettez la clé browser.proton.enabled
à la valeur false pour désactiver la nouvelle interface complètement. Voici le résultat :