L’amélioration de la page about:config facilite l’édition des préférences cachées

Beaucoup d’utilisateurs avançés s’en rendent compte, Mozilla a un bon nombre de

préférences ‘cachées’ que l’on peut ajuster pour modifier d’obscures

options ou améliorer les performances. Faire des changements afin d’utiliser

ces préférences implique d’éditer manuellement vos fichiers prefs.js ou user.js.

Cependant, vous pouvez maintenant changer ces options directement à

l’intérieur du navigateur, merci d’avoir corrigé le

Pour profiter de cette nouvelle fonctionnalité, vous devez utiliser une

récente nocturne de Mozilla ou de Phoenix. Entrez about:config

dans la barre d’adresse et une liste de code couleur des préférences

apparaîtra. L’édition de celles-ci doit être familière à quelqu’un qui

a déjà bidouillé la base de registres de Windows : chaque

préférence a maintenant un menu contextuel qui vous permet de copier

son nom ou sa valeur dans le presse-papiers, modifier ses paramètres

ou réinitialiser sa valeur d’origine par défaut. Vous pouvez aussi

ajouter des préférences non référencées en utilisant le sous-menu

‘Nouveau’ : choisissez ‘Chaîne’ si la valeur du paramètre que

vous voulez ajouter est du texte, ‘Entier’ si c’est nombre ou ‘Booléen’

s’il est true ou false.

La plupart des modifications prendront effet immédiatement mais

certains peuvent exiger un redémarrage. Notez que faire des changements dans

about:config met à jour prefs.js et non user.js. Comme le

fichier user.js a la priorité, vous devrez manuellement enlever toutes

les lignes vous voulez changer de user.js (ou supprimer entièrement le

fichier) avant de faire des changements dans about:config.

Finalement, rappelez-vous que vous pouvez vraiment endommager certaines choses

si vous n’êtes pas prudents. Vous avez été avertis