Index: devtools-panel.js |
diff --git a/devtools-panel.js b/devtools-panel.js |
index 85068dd5c1ed8a02309a7370b841b84f7e134df6..9df0c8dccf81fcfb6e4875a912150c04421fb3d0 100644 |
--- a/devtools-panel.js |
+++ b/devtools-panel.js |
@@ -72,7 +72,7 @@ function createRecord(request, filter, template) |
{ |
urlElement.textContent = request.url; |
- if ("openResource" in ext.devtools.panels && request.type != "POPUP") |
+ if (request.type != "POPUP") |
kzar
2016/12/19 13:19:36
See https://codereview.adblockplus.org/56461240356
|
{ |
urlElement.classList.add("resourceLink"); |
urlElement.addEventListener("click", function() |