| Index: devtools-panel.js |
| =================================================================== |
| --- a/devtools-panel.js |
| +++ b/devtools-panel.js |
| @@ -104,16 +104,24 @@ |
| { |
| ext.devtools.panels.openResource(request.url); |
| event.preventDefault(); |
| } |
| }, false); |
| } |
| } |
| + if (request.rewrittenUrl) |
| + { |
| + let rewrittenUrl = row.querySelector(".rewritten-url > a"); |
| + rewrittenUrl.textContent = request.rewrittenUrl; |
| + rewrittenUrl.setAttribute("href", request.rewrittenUrl); |
| + row.querySelector(".rewritten-url").removeAttribute("hidden"); |
| + } |
| + |
| if (filter) |
| { |
| let filterElement = row.querySelector(".filter"); |
| let originElement = row.querySelector(".origin"); |
| filterElement.textContent = filter.text; |
| row.dataset.state = filter.whitelisted ? "whitelisted" : "blocked"; |