L’éditeur de configuration (la page Préférences avancées d’URL about:config) donne la liste des paramètres de Firefox appelés préférences qui sont lus dans les fichiers prefs.js et user.js du profil de Firefox ainsi que dans les paramètres par défaut de l’application. La plupart de ces préférences sont des paramètres avancés qui ne figurent pas dans les panneaux des paramètres. Cet article décrit la façon d’utiliser la page about:config pour afficher, modifier et restaurer le positionnement des préférences de Firefox, si vous en avez besoin.

Ouvrir la page about:config

Saisissez about:config dans la barre d’adresse de Firefox, puis appuyez sur EntréeRetour
Une page d’avertissement peut apparaître. Cliquez sur Accepter le risque et poursuivre pour accéder à la page about:config.

Cliquez sur Tout afficher pour voir toutes les préférences paramétrées actuellement dans le profil ou utilisez la zone Rechercher un nom de préférence pour filtrer la liste.

Rechercher une préférence

Si vous saisissez un terme de recherche qui ne correspond à aucune préférence, vous avez la possibilité d’ajouter une nouvelle préférence (voir ci-dessous).

Modifier des préférences

Pour modifier une préférence dont la valeur est booléenne (true ou false), faites un double-clic sur la préférence.

• Vous pouvez aussi cliquer sur le bouton Inverser 

Pour une préférence dont la valeur est une chaîne de caractères (texte) ou un nombre :

1. Faites un double-clic sur la préférence.
   • Vous pouvez aussi cliquer sur le bouton Modifier 
2. Saisissez la nouvelle valeur.

   

3. Cliquez sur la coche pour enregistrer la modification ou pressez la touche Échap pour annuler la modification.

Réinitialiser ou supprimer des préférences

Pour réinitialiser une préférence à sa valeur par défaut, cliquez sur le bouton Réinitialiser 

Note : un bouton Supprimer  peut être présent à côté de préférences apparaissant en caractères gras que vous n’avez ni modifiées ni ajoutées, telles celles dont les valeurs sont liées au système. Ces préférences seront ajoutées de nouveau, le cas échéant, si elles sont supprimées.

Ajouter une préférence

Pour ajouter une nouvelle préférence, saisissez son nom dans la zone Rechercher un nom de préférence en haut de la page about:config. Au bas des résultats de recherche (s’il y en a), se trouve l’option qui permet de créer une nouvelle préférence. Pour ce faire, spécifiez d’abord le type de la valeur que la préférence doit stocker :

• Booléen, valeur true ou false (vrai ou faux)
• Nombre, une valeur numérique entière
• Chaîne, une suite quelconque de caractères

Cliquez ensuite sur le bouton Ajouter  pour créer la nouvelle préférence et lui donner sa valeur. Les préférences booléennes prennent la valeur true par défaut, utilisez le bouton Inverser  pour modifier cette valeur. Pour les préférences de type chaîne ou nombre, cliquez sur le bouton Enregistrer 

Un clic sur le bouton Supprimer permet d’abandonner la création de la nouvelle préférence (voir ci-dessus).

Les informations ci-dessus sont basées sur l’article About:config de MozillaZine