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 |