| Index: ext/content.js |
| =================================================================== |
| --- a/ext/content.js |
| +++ b/ext/content.js |
| @@ -4,7 +4,9 @@ |
| // devtools panel: |
| // https://bugzilla.mozilla.org/show_bug.cgi?id=1383310 |
| // As a workaround, listen for messages only if this isn't the devtools panel. |
| -if (!("devtools" in chrome)) |
| +// Note that Firefox processes API access lazily, so chrome.devtools will always |
| +// exist but will have undefined as its value on other pages. |
| +if (!chrome.devtools) |
| { |
| // Listen for messages from the background page. |
| chrome.runtime.onMessage.addListener((message, sender, sendResponse) => |