| 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) | 
| { |