Principal Firefox Afficher uniquement les préférences modifiées sur About:Config dans Firefox
 

Afficher uniquement les préférences modifiées sur About:Config dans Firefox

Toutes les versions de Mozilla Firefox incluent un éditeur de configuration. Vous pouvez l'ouvrir en tapant about:config dans la barre d'adresse. De plus, il reçoit régulièrement des mises à jour et des améliorations. La version actuelle de l'éditeur d'options avancées a été présentédans Firefox 67.

Firefox à propos de : exemple de page de configuration

Firefox à propos de : exemple de page de configuration

ordinateur portable à deux moniteurs

Les développeurs ont ajouté cet outil spécialement pour les utilisateurs avancés qui ne sont pas satisfaits de la configuration par défaut du navigateur. Pour l'instant, l'utilisateur peut facilement remarquer les options modifiées dans l'éditeur de configuration avancée car leurs noms sont affichés en gras.

Cependant, cela n'est pas pratique car la liste d'options est très longue et cela prend énormément de temps si vous décidez de la parcourir. De plus, l'éditeur about:config expose les options cachées et normales du navigateur. Jusqu'à présent, vous n'aviez aucun moyen d'exclure les paramètres inchangés et d'afficher uniquement ceux que vous avez ajustés.

À partir de la version 87 de Firefox, il est désormais possible de lister uniquement les options modifiées sur la page about:config. Enfin, la version 87 est livrée avec une nouvelle case à cocher pour ce faire. Cet article vous montrera comment afficher uniquement les options modifiées dans about:config dans Firefox.

Pour afficher uniquement les préférences modifiées sur About:Config dans Firefox

  1. Ouvrez Firefox.
  2. Tapez ou copiez-collez about:config dans la barre d'adresse.
  3. Cliquer surAcceptez le risque et continuezsur leProcéder avec prudencepage.
  4. Activez (cochez) l'optionAfficher uniquement les préférences modifiéesà côté du champ de recherche.
  5. La liste des options affiche désormais uniquement les options modifiées.

Vous avez terminé.

lecteur de DVD

Il s'agit en effet d'un changement bienvenu pour les utilisateurs qui modifient régulièrement les options cachées de Firefox et souhaitent rappeler rapidement ce qu'ils ont modifié. Firefox 87 sortira sur la branche stable le 23 mars 2021.

Lire Ensuite

Désactiver le changement rapide d'utilisateur dans Windows 10
Désactiver le changement rapide d'utilisateur dans Windows 10
Si vous ne trouvez aucune utilité au changement d'utilisateur dans Windows 10, voici comment désactiver la fonctionnalité de changement rapide d'utilisateur. Deux méthodes expliquées.
10 raisons de remplacer votre gestionnaire de fichiers Android par Total Commander
10 raisons de remplacer votre gestionnaire de fichiers Android par Total Commander
Tout le monde que je connais possède des appareils Android, alors aujourd'hui, je vais vous expliquer comment améliorer considérablement la gestion des fichiers sur Android. Il y a beaucoup de
Comment rechercher des erreurs sur un lecteur sous Windows 10
Comment rechercher des erreurs sur un lecteur sous Windows 10
Dans cet article, nous passerons en revue différentes méthodes pour rechercher des erreurs sur votre disque dans Windows 10, notamment chkdsk, PowerShell et l'interface graphique.
Comment définir les images Bing comme fond d'écran du bureau de Windows 10
Comment définir les images Bing comme fond d'écran du bureau de Windows 10
Comment définir des images Bing comme arrière-plan du bureau de Windows 10 avec l'application Bing Wallpaper Microsoft a lancé une nouvelle application Bing Wallpaper pour le bureau. L'application
Pourquoi mes périphériques audio ne fonctionnent-ils pas après une réinitialisation de Windows 10 ?
Pourquoi mes périphériques audio ne fonctionnent-ils pas après une réinitialisation de Windows 10 ?
De nombreux utilisateurs de Windows rencontrent le problème des périphériques audio qui ne fonctionnent pas après une réinitialisation de Windows 10. Voici un guide facile à suivre pour résoudre ce problème.
Empêcher Windows 10 de réinitialiser vos applications par défaut
Empêcher Windows 10 de réinitialiser vos applications par défaut
Si vous êtes ennuyé par la réinitialisation de vos associations de fichiers sur les applications Metro par défaut après certaines mises à jour, voici comment vous pouvez essayer de l'empêcher.
Comment installer MATE dans Linux Mint Cinnamon Edition
Comment installer MATE dans Linux Mint Cinnamon Edition
Une fois que vous avez installé Linux Mint avec Cinnamon, vous pourriez être intéressé par l'installation de MATE avec Cinnamon. Voici comment procéder.
Comment activer ou désactiver la caméra dans Windows 10
Comment activer ou désactiver la caméra dans Windows 10
Du point de vue de la confidentialité, vous souhaiterez peut-être désactiver la caméra dans Windows 10. Nous passerons en revue deux méthodes pour y parvenir. Al
Comment télécharger le pilote d'imprimante HP OfficeJet Pro 8710
Comment télécharger le pilote d'imprimante HP OfficeJet Pro 8710
Découvrez comment maintenir à jour votre pilote pour votre imprimante HP OfficeJet Pro 8710. Découvrez la commodité des mises à jour automatiques avec Help My Tech.
Modifier ou ajouter des informations de support OEM dans Windows 10
Modifier ou ajouter des informations de support OEM dans Windows 10
Comment modifier ou ajouter des informations de support OEM dans Windows 10. Toutes les données sont stockées dans le registre, vous pouvez donc les personnaliser facilement.
Comment redémarrer l'explorateur de fichiers sous Windows 11
Comment redémarrer l'explorateur de fichiers sous Windows 11
Cet article vous montrera comment redémarrer l'Explorateur de fichiers dans Windows 11 afin d'appliquer certains paramètres, de modifier ou de résoudre un problème avec le shell Windows. les fenêtres
Modifier la méthode de chiffrement BitLocker et la force de chiffrement dans Windows 10
Modifier la méthode de chiffrement BitLocker et la force de chiffrement dans Windows 10
Comment modifier la méthode de chiffrement BitLocker et la force de chiffrement dans Windows 10 BitLocker dans Windows 10 prend en charge un certain nombre de méthodes de chiffrement et prend en charge
Comment faire fonctionner Windows Media Center authentique sous Windows 10
Comment faire fonctionner Windows Media Center authentique sous Windows 10
Il est désormais possible de faire fonctionner Windows Media Center authentique sous Windows 10.
Thème Clouds PREMIUM 4k pour Windows 10
Thème Clouds PREMIUM 4k pour Windows 10
Un autre magnifique thème 4K est désormais disponible pour les utilisateurs de Windows 10 via le Microsoft Store. Nommé « Clouds PREMIUM », il comprend 20 images 4K premium
Modifier le système d'exploitation par défaut dans le menu de démarrage de Windows 10
Modifier le système d'exploitation par défaut dans le menu de démarrage de Windows 10
Voici plusieurs méthodes que vous pouvez utiliser pour modifier le système d'exploitation par défaut dans le menu de démarrage de Windows 10. Vous pouvez utiliser la méthode du chargeur de démarrage, bcdedit et l'interface graphique.
Bloquer les sites Web à l'aide du fichier Hosts dans Windows 10
Bloquer les sites Web à l'aide du fichier Hosts dans Windows 10
Comment bloquer des sites Web à l'aide du fichier Hosts dans Windows 10 Chaque version de Windows est livrée avec un fichier Hosts spécial qui aide à résoudre les enregistrements DNS. Dans
L'outil Capture permet désormais d'ajouter des formes de base aux captures
L'outil Capture permet désormais d'ajouter des formes de base aux captures
Microsoft a mis à jour l'outil de capture avec la possibilité de dessiner des formes de base sur vos captures. La nouvelle option est masquée dans la version 11.2312.33.0 de l'application,
Dépannage de votre lecteur Windows Media
Dépannage de votre lecteur Windows Media
Si vous avez besoin d'aide pour dépanner votre lecteur Windows Media, vous êtes au bon endroit. Voici quelques instructions faciles à suivre.
Linux Mint Debian Edition (LMDE) 3 « Cindy » est disponible
Linux Mint Debian Edition (LMDE) 3 « Cindy » est disponible
Aujourd'hui, Linux Mint a publié une nouvelle version de la distribution « LMDE » basée sur Debian. Il porte le nom de code « Cindy ». Sa version 3 tant attendue est désormais disponible
Désactiver la recherche Web dans la barre des tâches dans Windows 10 version 2004
Désactiver la recherche Web dans la barre des tâches dans Windows 10 version 2004
Dans les versions de Windows 10 antérieures à la version 1803, il était relativement facile de supprimer la fonctionnalité de recherche sur le Web. Voici comment désactiver la recherche sur le Web dans la mise à jour Windows 10 d'avril 2018.
Razer Basilisk V3 Pro : au-delà de l'esthétique et dans la performance
Razer Basilisk V3 Pro : au-delà de l'esthétique et dans la performance
Vous vous demandez comment tirer le meilleur parti de votre Razer Basilisk V3 Pro ? Découvrez ses qualités et comment HelpMyTech.com peut être votre allié pour les mises à jour
Ajouter un délai de mise en veille sans surveillance du système aux options d'alimentation dans Windows 10
Ajouter un délai de mise en veille sans surveillance du système aux options d'alimentation dans Windows 10
Comment configurer le délai de mise en veille sans surveillance du système vers les options d'alimentation dans Windows 10. Windows 10 est livré avec une option d'alimentation cachée appelée Délai de mise en veille sans surveillance du système.
Activer ou désactiver les paramètres de synchronisation dans Windows 10
Activer ou désactiver les paramètres de synchronisation dans Windows 10
Windows 10 synchronise vos préférences entre tous les appareils que vous utilisez. Si vous n'êtes pas satisfait de ce comportement, vous pouvez le désactiver.
Comment faire une capture d'écran sous Windows 8.1 : trois manières sans utiliser d'outils tiers
Comment faire une capture d'écran sous Windows 8.1 : trois manières sans utiliser d'outils tiers
Très souvent, lorsque je demande aux utilisateurs de mes applications de prendre une capture d'écran afin de résoudre les problèmes qu'ils rencontrent, ils sont confus. Certains d'entre eux ne savent pas