user.js

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

commit 6717bc0674b92078971da41b712cf3668440bb87
parent 11a94c7e320e3c14f5c542d9ca8a9776c0162fd9
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sun,  9 Sep 2018 20:46:35 +0000

1024: toolkit.winRegisterApplicationRestart
Diffstat:
Muser.js | 3+++
1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/user.js b/user.js @@ -669,6 +669,9 @@ user_pref("browser.sessionstore.resume_from_crash", false); * This longer interval *may* affect history but we cannot replicate any history not recorded * [1] https://bugzilla.mozilla.org/1304389 ***/ user_pref("browser.sessionstore.interval", 30000); +/* 1024: disable automatic Firefox start and session restore after reboot [WINDOWS] (FF62+) + * [1] https://bugzilla.mozilla.org/603903 ***/ +user_pref("toolkit.winRegisterApplicationRestart", false); /** FAVICONS ***/ /* 1030: disable favicons in shortcuts * URL shortcuts use a cached randomly named .ico file which is stored in your