Le navigateur web Firefox est paramétrable via le chemin Outils<Options. Ça, tout le monde le sait, inutile de le rappeler. Mais saviez-vous qu’il existait une autre façon de configurer Firefox, plus poussée mais plus risquée ?

Accès aux configurations

Il suffit de taper : about:config dans un nouvel onglet.

Les configurations accessibles par Outils<Options sont en gras, donc peuvent aisément être modifiées sans risquer d’endommager le navigateur.

Description des attributs parents

  • Accessibility : tous ce qui concerne la façon dont Firefox va se comporter lors de la navigation.
  • Alerts : comportement lors d’une alerte.
  • App : concerne la mise à jour de l’application.
  • Browser : les principales configurations de Firefox.
  • Dom : la façon dont Firefox interprètera le code source des pages.
  • Extensions : toutes les configurations relatives aux plugins installés.
  • Font : interprétation des polices d’écriture.
  • Gecko : moteur de rendu de Firefox.
  • Gfx : options de l’utilisation du processeur.
  • Image : traitement des images.
  • Intl : définit les équivalents de portabilité.
  • Javascript : interprétation du Javascript.
  • Layers et Layout : interactions du navigateur vis à vis d’une situation particulière.
  • Media : paramètres des médias.
  • Memory : mémoire.
  • Mousewheel : interaction de la souris.
  • Network : configurations réseaux.
  • Places : options des applications rajoutées au core de Firefox.
  • Plugins : toutes les configurations des plugins installés.
  • Print : options d’impression.
  • Privacy : paramètres de confidentialités
  • Security : paramètres de sécurité.
  • Services : services web de Firefox.
  • Webgl : option de l’affichage 3D.

Modification des valeurs

Je vais sans doute casser un mythe, mais aucune modification que vous pourrez faire ne rendra votre navigateur plus rapide ! En effet, les valeurs par défauts sont celles optimisées pour la vitesse de navigation.

Comment modifier une valeur

Il suffit de double cliquer sur une ligne à modifier pour rentrer une nouvelle valeur.

Vous remarquerez qu’un booléen se modifie en double cliquant sur sa ligne et qu’il y a un contrôle d’erreur de type de valeur.

Après une modification, il est bon de redémarrer Firefox afin que les modifications soient prise en compte.

Quelques attributs bien pratiques

Modifier des valeurs sans en connaître les conséquences peut rapidement rendre votre navigateur instable, voire inutilisable.

Pour cette raison, je vous ai préparé une liste d’attributs bien pratiques à modifier :

browser.newtab.url : définit la page à ouvrir lors de la création d’un nouvel onglet.

dom.max_script_run_time : limite le temps d’exécution d’un script JavaScript à 10 secondes.

layout.spellcheckDefault : permet de configurer le correcteur d’orthographe:

  • 0 : jamais activé.
  • 1 : activé que pour les formulaires multilingues.
  • 2 : activé pour tous les formulaires.

browser.cache.disk.capacity : définit la taille du cache de Firefox.

security.dialog_enable_delay : temps d’attente lors de l’installation d’un plugin (en millisecondes).

view_source.editor.external : autorise l’affichage du code source dans un logiciel externe. Modifier ensuite l’attribut en view_source.editor.path permet d’ajouter le lien complet de l’éditeur de texte.

browser.urlbar.maxRichResults : définit le nombre de suggestions de pages lors de l’édition dans l’URL.

Autres configurations utiles

Après avoir vu les configurations internes à Firefox, voici l’accès aux configurations externes. Pour y accéder, il suffit de taper ces liens dans l’URL de Firefox :

about:permissions : permet de modifier les permissions de connexion aux sites visités.

about:plugins : affiche la liste des plugins installés.

about:sessionrestore :  donne accès à l’utilitaire de restauration d’une précédente session.

about:cache : indique les statistiques sur l’utilisation du cache.

about:credits : affiche la liste des contributeurs de Firefox.

about:robots : inutile mais fun !