diff options
-rw-r--r-- | debian/local/pref/user.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index b8308cefb1..1b5627584c 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1037,3 +1037,5 @@ user_pref("browser.tabs.firefox-view-next", false); user_pref("browser.tabs.warnOnClose", true); user_pref("browser.toolbars.bookmarks.visibility", "never"); + +user_pref("browser.translations.automaticallyPopup", false); |