| 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; | 
| } |