On peut personnaliser l’interface de Firefox, par exemple pour supprimer la barre d’onglet :
Changer les préférences de Firefox pour permettre de personnaliser son interface.
On tapes dans la barre d’adresse
about:configet on accepte les risques quand Firefox le demande.Puis on recherche la clé
toolkit.legacyUserProfileCustomizations.stylesheetsEt on passe sa valeur à
true.Repérer le dossier de profile
Il faut afficher tous les profiles utilisés via la commande :
cat ~/.mozilla/firefox/profiles.iniet repérer le nom du profil (généralement une suite de lettre et de chiffre). En général, on doit repérer la mention “default”.
Rentrer dans le dossier profil et créer le dossier chrome
mkdir chromeDans ce dossier chrome, éditer un fichier userChrome.css avec le contenu suivant :
1#TabsToolbar { 2 display: none !important; 3}Redémarrer Firefox !
