Update user.js

This commit is contained in:
Aeriem 2019-07-12 10:56:15 +00:00 committed by GitHub
parent 11dcc54b61
commit ce0a6f8485
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -531,10 +531,6 @@ user_pref("browser.formfill.enable", false);
* [NOTE] We also clear history and downloads on exiting Firefox (see 2803)
* [SETTING] Privacy & Security>History>Custom Settings>Remember browsing and download history ***/
// user_pref("places.history.enabled", false);
/* 0864: disable date/time picker
* This can leak your locale if not en-US
* [1] https://trac.torproject.org/projects/tor/ticket/21787 ***/
user_pref("dom.forms.datetime", false);
/* 0870: disable Windows jumplist [WINDOWS] ***/
user_pref("browser.taskbar.lists.enabled", false);
user_pref("browser.taskbar.lists.frequent.enabled", false);
@ -1764,6 +1760,11 @@ user_pref("dom.event.highrestimestamp.enabled", true); // [DEFAULT: true]
// [1] https://support.mozilla.org/en-US/kb/extension-recommendations
// [-] https://bugzilla.mozilla.org/1528953
// user_pref("browser.newtabpage.activity-stream.asrouter.userprefs.cfr", false);
// FF68
// 0864: disable date/time picker
// This can leak your locale if not en-US
// [1] https://trac.torproject.org/projects/tor/ticket/21787
user_pref("dom.forms.datetime", false);
// * * * /
// ***/