user.js

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

commit 5166811bd55316757a02fe07cb87938b210d91fb
parent 86bfdd14704f156ea8ff038edbd9ebcb074933ba
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Wed, 21 Aug 2019 13:01:12 +0000

1003: closes #772
Diffstat:
Muser.js | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -586,6 +586,7 @@ user_pref("browser.cache.disk.enable", false); * [1] http://kb.mozillazine.org/Browser.cache.disk_cache_ssl ***/ user_pref("browser.cache.disk_cache_ssl", false); /* 1003: disable memory cache +/* capacity: -1=determine dynamically (default), 0=none, n=memory capacity in kilobytes * [NOTE] Not recommended due to performance issues ***/ // user_pref("browser.cache.memory.enable", false); // user_pref("browser.cache.memory.capacity", 0); // [HIDDEN PREF]