user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 301fcd059dc7f937f60e35a32a2848866a7e61be
parent 1cc9a08a18e5e8439d3d687205a16c7cb856653a
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sun, 20 Oct 2019 23:36:48 +0000

1003: capacity no longer hidden
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -596,7 +596,7 @@ user_pref("browser.cache.disk.enable", false); /* 1003: disable memory cache /* capacity: -1=determine dynamically (default), 0=none, n=memory capacity in kilobytes ***/ // user_pref("browser.cache.memory.enable", false); - // user_pref("browser.cache.memory.capacity", 0); // [HIDDEN PREF] + // user_pref("browser.cache.memory.capacity", 0); /* 1006: disable permissions manager from writing to disk [RESTART] * [NOTE] This means any permission changes are session only * [1] https://bugzilla.mozilla.org/967812 ***/