diff --git a/user.js b/user.js
index 7257820..e2688dd 100644
--- a/user.js
+++ b/user.js
@@ -139,6 +139,7 @@ user_pref("devtools.debugger.remote-enabled", false);
 user_pref("devtools.debugger.skip-pausing", true);
 user_pref("extensions.formautofill.creditCards.available", false);
 user_pref("extensions.formautofill.creditCards.enabled", false);
+user_pref("findbar.highlightAll", true);
 user_pref("general.autoScroll", true);
 user_pref("network.manage-offline-status", false);
 user_pref("pdfjs.enableScripting", false);