Unified Diff: ext/background.js
Issue 29573905:
Issue 4580 - Replace ext.devtools with devtools
Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Use Location.pathname
Created Oct. 18, 2017, 12:23 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/common.js » ('j')
|
ext/common.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 |
| @@ -72,22 +72,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/common.js » ('j')
|
ext/common.js » ('J')
