Unified Diff: ext/devtools.js
Issue 29607566:
Issue 6035 - Workaround missing browser.devtools.panels.openResource (Closed)
Patch Set:
Created Nov. 14, 2017, 12:01 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: ext/devtools.js |
| diff --git a/ext/devtools.js b/ext/devtools.js |
| index 3f743e7fdce7d2c2dc01ad1d38a5183012fc89ce..44345e7c86898470c6b0b59f93dcc30e9094e4a8 100644 |
| --- a/ext/devtools.js |
| +++ b/ext/devtools.js |
| @@ -23,4 +23,8 @@ |
| ext.onMessage = port.onMessage; |
| ext.devtools = browser.devtools; |
| + |
| + // Firefox as of 57 does not yet implement browser.devtools.panels.openResouce |
| + if (!("openResource" in ext.devtools.panels)) |
| + ext.devtools.panels.openResource = window.open.bind(window); |
|
Wladimir Palant
2017/11/14 13:12:37
While this will do as a quick work-around, I'd rat
kzar
2017/11/14 15:17:04
Good idea, done but under a new review https://cod
|
| } |
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
