Unified Diff: ext/background.js
Issue 29573905:
Issue 4580 - Replace ext.devtools with devtools
Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Rebase
Created Oct. 18, 2017, 1:37 a.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« devtools-panel.js ('k')
|
ext/content.js » ('j')
|
polyfill.js » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: ext/background.js |
| =================================================================== |
| --- a/ext/background.js |
| +++ b/ext/background.js |
| @@ -19,20 +19,18 @@ |
| (function() |
| { |
| if (typeof ext == "undefined") |
| window.ext = {}; |
| window.addEventListener("load", () => |
| { |
| - parent.postMessage({ |
| - type: "backgroundPageLoaded" |
| - }, "*"); |
| - }, false); |
| + parent.postMessage({type: "backgroundPageLoaded"}, "*"); |
| + }); |
| function PageMap() |
| { |
| this._keys = []; |
| this._values = []; |
| } |
| PageMap.prototype = { |
| keys() |
| @@ -72,22 +70,9 @@ |
| { |
| this._keys.splice(index, 1); |
| this._values.splice(index, 1); |
| } |
| } |
| }; |
| window.ext.PageMap = PageMap; |
| - |
| - window.ext.devtools = { |
| - onCreated: { |
| - addListener(listener) |
| - { |
| - window.addEventListener("message", (event) => |
| - { |
| - if (event.data.type == "devtools") |
| - listener(new ext.Page(event.source)); |
| - }); |
| - } |
| - } |
| - }; |
| }()); |
« no previous file with comments
|
« devtools-panel.js ('k')
|
ext/content.js » ('j')
|
polyfill.js » ('J')
