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.rewrittenTo) |
+ { |
+ let rewrittenUrl = row.querySelector(".rewritten-to > a"); |
+ rewrittenUrl.textContent = request.rewrittenTo; |
+ rewrittenUrl.setAttribute("href", request.rewrittenTo); |
+ row.querySelector(".rewritten-to").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"; |