lundi 20 janvier 2003
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