gnuzilla

commit 70c733d876172ec2676a833a0a8e2a3ddb602b20
parent 9fe427ff45778f53214ce110bf94fe43459491d1
Author: Ruben Rodriguez <ruben@gnu.org>
Date:   Wed,  7 Nov 2018 23:46:01 -0500

Disabled push notifications

Diffstat:
M
data/settings.js
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/data/settings.js b/data/settings.js
@@ -353,3 +353,7 @@ user_pref("browser.newtabpage.activity-stream.tippyTop.service.endpoint", "");
 // Enable xrender
 pref("gfx.xrender.enabled",true);
 
+// Disable push notifications 
+pref("dom.webnotifications.enabled",false); 
+pref("dom.webnotifications.serviceworker.enabled",false); 
+pref("dom.push.enabled",false);