user.js

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

commit 1c09ec36e3275c2ac6c4bf5a7c16d55a928630c7
parent f1e6d164f7e6619c2e652ccc44df7a5958c28841
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Fri, 18 Jan 2019 04:24:13 +0000

0306: extra info, closes #615
Diffstat:
Muser.js | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/user.js b/user.js @@ -193,7 +193,8 @@ user_pref("app.update.staging.enabled", false); * This is the update available, downloaded, error and success information ***/ user_pref("app.update.silent", false); /* 0306: disable extension metadata updating - * sends daily pings to Mozilla about extensions and recent startups ***/ + * sends daily pings to Mozilla about extensions and recent startups + * [NOTE] blocks any expanded text description, if it exists, when you "show more details about an addon" ***/ user_pref("extensions.getAddons.cache.enabled", false); /* 0307: disable auto updating of personas (themes) ***/ user_pref("lightweightThemes.update.enabled", false);