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