Unified Diff: lib/devtools.js
Issue 29737561:
Issue 6539, 6782 - Implement support for snippets (Closed)
Base URL: https://hg.adblockplus.org/adblockpluschrome/
Patch Set: Load public key off disk
Created March 31, 2018, 1:49 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
lib/requestBlocker.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: lib/devtools.js |
| =================================================================== |
| --- a/lib/devtools.js |
| +++ b/lib/devtools.js |
| @@ -23,17 +23,18 @@ |
| const {SpecialSubscription} = require("subscriptionClasses"); |
| const {FilterStorage} = require("filterStorage"); |
| const {defaultMatcher} = require("matcher"); |
| const {FilterNotifier} = require("filterNotifier"); |
| const {extractHostFromFrame} = require("url"); |
| const {port} = require("messaging"); |
| const nonRequestTypes = ["DOCUMENT", "ELEMHIDE", |
| - "GENERICBLOCK", "GENERICHIDE", "CSP"]; |
| + "GENERICBLOCK", "GENERICHIDE", |
| + "CSP", "SNIPPET"]; |
| // Mapping of inspected tabs to their devpanel page |
| // and recorded items. We can't use a PageMap here, |
| // because data must persist after navigation/reload. |
| let panels = new Map(); |
| function isActivePanel(panel) |
| { |
« no previous file with comments
|
« no previous file
|
lib/requestBlocker.js » ('j')
|
no next file with comments »
