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 6c4daf321a..31f7cdc9ad 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("extensions.pocket.enabled", false); + user_pref("full-screen-api.warning.delay", 0); user_pref("full-screen-api.warning.timeout", 0); user_pref("full-screen-api.transition.timeout", 0); |