user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit df1732745d84b1f7b163d6345fc66db4bb31402b
parent 30daf8640c3eea528a53eb0dff2ddfc684ce591f
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Tue, 10 Dec 2019 22:07:23 +0000

0308: seach engine updates: better info #840
Diffstat:
Muser.js | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -208,7 +208,8 @@ user_pref("app.update.auto", false); * used when installing/updating an extension, and in daily background update checks: if false, it * hides the expanded text description (if it exists) when you "show more details about an addon" ***/ // user_pref("extensions.getAddons.cache.enabled", false); -/* 0308: disable search update +/* 0308: disable search engine updates (e.g. OpenSearch) + * [NOTE] This does not affect Mozilla's built-in or Web Extension search engines * [SETTING] General>Firefox Updates>Automatically update search engines ***/ user_pref("browser.search.update", false); /* 0309: disable sending Flash crash reports ***/