Index: lib/contentFiltering.js |
=================================================================== |
--- a/lib/contentFiltering.js |
+++ b/lib/contentFiltering.js |
@@ -31,18 +31,16 @@ |
const info = require("info"); |
// Chromium's support for tabs.removeCSS is still a work in progress and the |
// API is likely to be different from Firefox's; for now we just don't use it |
// at all, even if it's available. |
// See https://crbug.com/608854 |
const styleSheetRemovalSupported = info.platform == "gecko"; |
-const selectorGroupSize = 1024; |
- |
let userStyleSheetsSupported = true; |
let snippetsLibrarySource = ""; |
let executableCode = new Map(); |
function addStyleSheet(tabId, frameId, styleSheet) |
{ |
try |