From 59e78a2e87b2ff708f63189b943e5692dde42e10 Mon Sep 17 00:00:00 2001
From: mattia <mattia-git@mattiaborsarini.xyz>
Date: Sun, 1 Aug 2021 00:49:47 +0200
Subject: [PATCH] Enable highlight for find tool

---
 user.js | 1 +
 1 file changed, 1 insertion(+)

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);