Unified Diff: devtools.js
Issue 29452181:
Noissue - Merge current tip to Edge bookmark (Closed)
Patch Set:
Created May 30, 2017, 3:49 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« devtools.html ('k')
|
ext/background.js » ('j')
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: devtools.js |
| =================================================================== |
| rename from chrome/devtools.js |
| rename to devtools.js |
| --- a/chrome/devtools.js |
| +++ b/devtools.js |
| @@ -1,6 +1,6 @@ |
| /* |
| * This file is part of Adblock Plus <https://adblockplus.org/>, |
| - * Copyright (C) 2006-2016 Eyeo GmbH |
| + * Copyright (C) 2006-2017 eyeo GmbH |
| * |
| * Adblock Plus is free software: you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 3 as |
| @@ -47,12 +47,7 @@ |
| panel.onSearch.addListener((eventName, queryString) => |
| { |
| if (panelWindow) |
| - { |
| - panelWindow.postMessage({ |
| - type: eventName, |
| - queryString: queryString |
| - }, "*"); |
| - } |
| + panelWindow.postMessage({type: eventName, queryString}, "*"); |
| }); |
| } |
| ); |
« no previous file with comments
|
« devtools.html ('k')
|
ext/background.js » ('j')
|
no next file with comments »
