From 6905187b3e14b1aea336ffcbfdf4e42126593527 Mon Sep 17 00:00:00 2001 From: Thorin-Oakenpants Date: Thu, 13 Aug 2020 04:39:38 +0000 Subject: [PATCH] 0207/0208: region/search (#989) --- user.js | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/user.js b/user.js index 0bbfeb5..a0146e5 100644 --- a/user.js +++ b/user.js @@ -165,6 +165,13 @@ user_pref("geo.provider.use_gpsd", false); // [LINUX] * i.e. ignore all of Mozilla's various search engines in multiple locales ***/ user_pref("browser.search.geoSpecificDefaults", false); user_pref("browser.search.geoSpecificDefaults.url", ""); +/* 0207: disable region updates + * [1] https://firefox-source-docs.mozilla.org/toolkit/modules/toolkit_modules/Region.html ***/ +user_pref("browser.region.network.url", ""); // [FF78+] +user_pref("browser.region.update.enabled", false); // [[FF79+] +/* 0208: set search region + * [NOTE] May not be hidden if Firefox has changed your settings due to your region (see 0207) ***/ + // user_pref("browser.search.region", "US"); // [HIDDEN PREF] /** LANGUAGE / LOCALE ***/ /* 0210: set preferred language for displaying web pages