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