user.js

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

commit c6ebe3616525847aad30f3ba2a8ece789fab93d4
parent 7684e83abadd45aa30e4c63592059b6eb94e9eab
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Tue, 11 Dec 2018 17:28:21 +0000

1022: resume from crash=>inactive, closes #575
Diffstat:
Muser.js | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -694,7 +694,7 @@ user_pref("browser.cache.disk_cache_ssl", false); * 0=everywhere, 1=unencrypted sites, 2=nowhere ***/ user_pref("browser.sessionstore.privacy_level", 2); /* 1022: disable resuming session from crash ***/ -user_pref("browser.sessionstore.resume_from_crash", false); + // user_pref("browser.sessionstore.resume_from_crash", false); /* 1023: set the minimum interval between session save operations * Increasing this can help on older machines and some websites, as well as reducing writes, see [1] * Default is 15000 (15 secs). Try 30000 (30sec), 60000 (1min) etc