diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:01 -0500 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:01 -0500 |
| commit | 70c733d876172ec2676a833a0a8e2a3ddb602b20 (patch) | |
| tree | fac2b340349030ea73eb7b23ae41176c1b0853d3 /data/settings.js | |
| parent | 9fe427ff45778f53214ce110bf94fe43459491d1 (diff) | |
Disabled push notifications
Diffstat (limited to 'data/settings.js')
| -rw-r--r-- | data/settings.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/data/settings.js b/data/settings.js index d91324b..4c1d91d 100644 --- 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); |