diff options
Diffstat (limited to 'debian/local')
| -rw-r--r-- | debian/local/pref/user.js | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/debian/local/pref/user.js b/debian/local/pref/user.js index 8638cc46dc..eb059269b0 100644 --- a/debian/local/pref/user.js +++ b/debian/local/pref/user.js @@ -376,18 +376,6 @@ user_pref("network.auth.subresource-http-auth-allow", 1); /*** [SECTION 1000]: DISK AVOIDANCE ***/ user_pref("_user.js.parrot", "1000 syntax error: the parrot's gone to meet 'is maker!"); -/* 1001: disable disk cache - * [SETUP-CHROME] If you think disk cache helps perf, then feel free to override this - * [NOTE] We also clear cache on exit (2811) ***/ -user_pref("browser.cache.disk.enable", false); -/* 1002: disable media cache from writing to disk in Private Browsing - * [NOTE] MSE (Media Source Extensions) are already stored in-memory in PB ***/ -user_pref("browser.privatebrowsing.forceMediaMemoryCache", true); // [FF75+] -user_pref("media.memory_cache_max_size", 65536); -/* 1003: disable storing extra session data [SETUP-CHROME] - * define on which sites to save extra session data such as form content, cookies and POST data - * 0=everywhere, 1=unencrypted sites, 2=nowhere ***/ -user_pref("browser.sessionstore.privacy_level", 2); /* 1005: disable automatic Firefox start and session restore after reboot [FF62+] [WINDOWS] * [1] https://bugzilla.mozilla.org/603903 ***/ user_pref("toolkit.winRegisterApplicationRestart", false); |