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