From 75d5cbf85e44519add65a7d17160f0e166eafaaa Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Wed, 24 May 2023 10:57:27 +0100 Subject: [PATCH] Allow custom search engines --- roles/home-gui/files/user.js | 1 + 1 file changed, 1 insertion(+) diff --git a/roles/home-gui/files/user.js b/roles/home-gui/files/user.js index 50073fd..2cf5882 100644 --- a/roles/home-gui/files/user.js +++ b/roles/home-gui/files/user.js @@ -25,6 +25,7 @@ user_pref("browser.tabs.unloadOnLowMemory", true); user_pref("browser.tabs.warnOnClose", true); user_pref("browser.toolbars.bookmarks.2h2020", true); user_pref("browser.urlbar.suggest.topsites", false); +user_pref("browser.urlbar.update2.engineAliasRefresh", true); // Allow custom search engines. user_pref("datareporting.healthreport.uploadEnabled", false); user_pref("dom.security.https_only_mode", true); user_pref("extensions.pocket.api", "0.0.0.0");