diff options
Diffstat (limited to 'debian/local')
| -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 253180e821..55a81827dd 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1021,6 +1021,8 @@ user_pref("_user.js.parrot", "SUCCESS: No no he's not dead, he's, he's restin'!" user_pref("browser.tabs.warnOnClose", true); +user_pref("browser.toolbars.bookmarks.visibility", "never"); + user_pref("extensions.pocket.enabled", false); user_pref("full-screen-api.warning.delay", 0); |