| OLD | NEW |
| 1 "use strict"; | 1 "use strict"; |
| 2 | 2 |
| 3 // Firefox 55 erroneously sends messages from the content script to the | 3 // Firefox 55 erroneously sends messages from the content script to the |
| 4 // devtools panel: | 4 // devtools panel: |
| 5 // https://bugzilla.mozilla.org/show_bug.cgi?id=1383310 | 5 // https://bugzilla.mozilla.org/show_bug.cgi?id=1383310 |
| 6 // As a workaround, listen for messages only if this isn't the devtools panel. | 6 // As a workaround, listen for messages only if this isn't the devtools panel. |
| 7 if (!("devtools" in chrome)) | 7 // Note that Firefox processes API access lazily, so chrome.devtools will always |
| 8 // exist but will have undefined as its value on other pages. |
| 9 if (!chrome.devtools) |
| 8 { | 10 { |
| 9 // Listen for messages from the background page. | 11 // Listen for messages from the background page. |
| 10 chrome.runtime.onMessage.addListener((message, sender, sendResponse) => | 12 chrome.runtime.onMessage.addListener((message, sender, sendResponse) => |
| 11 { | 13 { |
| 12 return ext.onMessage._dispatch(message, {}, sendResponse).includes(true); | 14 return ext.onMessage._dispatch(message, {}, sendResponse).includes(true); |
| 13 }); | 15 }); |
| 14 } | 16 } |
| 15 | 17 |
| 16 (function() | 18 (function() |
| 17 { | 19 { |
| (...skipping 17 matching lines...) Expand all Loading... |
| 35 | 37 |
| 36 if (!port.onDisconnect.hasListeners()) | 38 if (!port.onDisconnect.hasListeners()) |
| 37 { | 39 { |
| 38 port.disconnect(); | 40 port.disconnect(); |
| 39 port = null; | 41 port = null; |
| 40 } | 42 } |
| 41 } | 43 } |
| 42 } | 44 } |
| 43 }; | 45 }; |
| 44 }()); | 46 }()); |
| OLD | NEW |