From 78cf98f27334a66fe62d2b03d057a85a7841f555 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 11 Oct 2023 09:46:47 +0200 Subject: [PATCH] exts stuff --- .mozilla/firefox/user.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.mozilla/firefox/user.js b/.mozilla/firefox/user.js index 1174408..5204847 100644 --- a/.mozilla/firefox/user.js +++ b/.mozilla/firefox/user.js @@ -29,3 +29,5 @@ user_pref("pdfjs.annotationEditorMode", 0); // permet d'annoté les PDFs user_pref("alerts.useSystemBackend", true); // notification natives sur windows user_pref("extensions.pocket.enabled", false); // désactive Pocket user_pref("layout.css.has-selector.enabled", true); // https://developer.mozilla.org/en-US/docs/Web/CSS/:has +user_pref("extensions.webextensions.restrictedDomains", ""); // retire les domaines restreints (domanes de Mozilla) pour les extensions +user_pref("extensions.quarantinedDomains.enabled", false); // autorise les extensions à fonctionner sur tout les sites