From f5aac8e7bb22002ab4411f6d7c288e8579d9d3be Mon Sep 17 00:00:00 2001 From: mattia Date: Mon, 16 Mar 2026 19:01:31 +0100 Subject: [PATCH] Group url bar settings --- user.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/user.js b/user.js index e9d6348..f5cb434 100644 --- a/user.js +++ b/user.js @@ -255,7 +255,9 @@ user_pref("browser.translations.automaticallyPopup", false); user_pref("browser.translations.enable", false); // Url bar +user_pref("browser.urlbar.showSearchSuggestionsFirst", false); user_pref("browser.search.suggest.enabled", false); +user_pref("browser.urlbar.suggest.recentsearches", false); user_pref("browser.urlbar.suggest.searches", false); // Other @@ -267,8 +269,6 @@ user_pref("browser.tabs.searchclipboardfor.middleclick", false); user_pref("browser.toolbars.bookmarks.visibility", "never"); user_pref("browser.xul.error_pages.expert_bad_cert", true); user_pref("browser.uitour.enabled", false); -user_pref("browser.urlbar.showSearchSuggestionsFirst", false); -user_pref("browser.urlbar.suggest.recentsearches", false); user_pref("devtools.debugger.remote-enabled", false); user_pref("devtools.debugger.skip-pausing", true); user_pref("extensions.activeThemeID", "default-theme@mozilla.org");