| Index: devtools-panel.js |
| diff --git a/devtools-panel.js b/devtools-panel.js |
| index 8a09fe0069a2e9f1501c0288810864a4d3934d34..2dfa1b0de1b67f19a1075389208f78eabb6f6c89 100644 |
| --- a/devtools-panel.js |
| +++ b/devtools-panel.js |
| @@ -49,6 +49,9 @@ function generateFilter(request, domainSpecific) |
| domainSpecific = true; |
| } |
| + if (request.type == "CSP") |
| + options.push("CSP"); |
|
Thomas Greiner
2018/03/07 14:34:44
Detail: I know that filter options are case insens
kzar
2018/03/07 15:11:40
Done.
|
| + |
| if (domainSpecific) |
| options.push("domain=" + request.docDomain); |