diff --git a/.mozilla/firefox/user.js b/.mozilla/firefox/user.js index b3426de..aa6ed52 100644 --- a/.mozilla/firefox/user.js +++ b/.mozilla/firefox/user.js @@ -20,3 +20,4 @@ user_pref("datareporting.healthreport.uploadEnabled", false); // télémétrie user_pref("extensions.formautofill.creditCards.enabled", false); // pas d'auto-complétion de la carte de crédit user_pref("media.eme.enabled", true); // lire le contenue protégé par des DRM user_pref("browser.toolbars.bookmarks.visibility", "always"); // barre des marques pages affichés sur toutes les pages +user_pref("findbar.highlightAll", true); // tout surligné lors d'une recherche