Index: lib/devtools.js |
=================================================================== |
--- a/lib/devtools.js |
+++ b/lib/devtools.js |
@@ -24,17 +24,17 @@ |
require("../adblockpluscore/lib/subscriptionClasses"); |
const {FilterStorage} = require("../adblockpluscore/lib/filterStorage"); |
const {defaultMatcher} = require("../adblockpluscore/lib/matcher"); |
const {FilterNotifier} = require("../adblockpluscore/lib/filterNotifier"); |
const {extractHostFromFrame} = require("./url"); |
const {port} = require("./messaging"); |
const nonRequestTypes = ["DOCUMENT", "ELEMHIDE", |
- "GENERICBLOCK", "GENERICHIDE", "CSP"]; |
+ "GENERICBLOCK", "GENERICHIDE", "CSP", "REWRITE"]; |
let panels = new Map(); |
function isActivePanel(panel) |
{ |
return panel && !panel.reload && !panel.reloading; |
} |