diff options
| -rw-r--r-- | debian/local/pref/user.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index 8a533d5dd1..5d7e467605 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -1023,6 +1023,7 @@ user_pref("browser.tabs.warnOnClose", true); user_pref("full-screen-api.warning.delay", 0); user_pref("full-screen-api.warning.timeout", 0); +user_pref("full-screen-api.transition.timeout", 0); user_pref("media.autoplay.default", 5); user_pref("media.autoplay.blocking_policy", 2); |