| OLD | NEW | 
|---|
| 1 /* | 1 /* | 
| 2  * This file is part of Adblock Plus <https://adblockplus.org/>, | 2  * This file is part of Adblock Plus <https://adblockplus.org/>, | 
| 3  * Copyright (C) 2006-present eyeo GmbH | 3  * Copyright (C) 2006-present eyeo GmbH | 
| 4  * | 4  * | 
| 5  * Adblock Plus is free software: you can redistribute it and/or modify | 5  * Adblock Plus is free software: you can redistribute it and/or modify | 
| 6  * it under the terms of the GNU General Public License version 3 as | 6  * it under the terms of the GNU General Public License version 3 as | 
| 7  * published by the Free Software Foundation. | 7  * published by the Free Software Foundation. | 
| 8  * | 8  * | 
| 9  * Adblock Plus is distributed in the hope that it will be useful, | 9  * Adblock Plus is distributed in the hope that it will be useful, | 
| 10  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10  * but WITHOUT ANY WARRANTY; without even the implied warranty of | 
| 11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
| 12  * GNU General Public License for more details. | 12  * GNU General Public License for more details. | 
| 13  * | 13  * | 
| 14  * You should have received a copy of the GNU General Public License | 14  * You should have received a copy of the GNU General Public License | 
| 15  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 15  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>. | 
| 16  */ | 16  */ | 
| 17 | 17 | 
| 18 "use strict"; | 18 "use strict"; | 
| 19 | 19 | 
| 20 let panelWindow = null; | 20 let panelWindow = null; | 
| 21 | 21 | 
| 22 // Versions of Firefox before 54 do not support the devtools.panels API; on | 22 // Versions of Firefox before 54 do not support the devtools.panels API; on | 
| 23 // these platforms, even when the option is enabled, we cannot show the | 23 // these platforms, even when the option is enabled, we cannot show the | 
| 24 // devtools panel. | 24 // devtools panel. | 
| 25 if ("panels" in chrome.devtools) | 25 if ("panels" in browser.devtools) | 
| 26 { | 26 { | 
| 27   chrome.runtime.sendMessage( | 27   browser.runtime.sendMessage( | 
| 28     { | 28     { | 
| 29       type: "prefs.get", | 29       type: "prefs.get", | 
| 30       key: "show_devtools_panel" | 30       key: "show_devtools_panel" | 
| 31     }, | 31     }, | 
| 32     enabled => | 32     enabled => | 
| 33     { | 33     { | 
| 34       if (enabled) | 34       if (enabled) | 
| 35       { | 35       { | 
| 36         chrome.devtools.panels.create( | 36         browser.devtools.panels.create( | 
| 37           "Adblock Plus", | 37           "Adblock Plus", | 
| 38           "icons/detailed/abp-48.png", | 38           "icons/detailed/abp-48.png", | 
| 39           "devtools-panel.html", | 39           "devtools-panel.html", | 
| 40           panel => | 40           panel => | 
| 41           { | 41           { | 
| 42             panel.onShown.addListener(window => | 42             panel.onShown.addListener(window => | 
| 43             { | 43             { | 
| 44               panelWindow = window; | 44               panelWindow = window; | 
| 45             }); | 45             }); | 
| 46 | 46 | 
| 47             panel.onHidden.addListener(window => | 47             panel.onHidden.addListener(window => | 
| 48             { | 48             { | 
| 49               panelWindow = null; | 49               panelWindow = null; | 
| 50             }); | 50             }); | 
| 51 | 51 | 
| 52             if (panel.onSearch) | 52             if (panel.onSearch) | 
| 53             { | 53             { | 
| 54               panel.onSearch.addListener((eventName, queryString) => | 54               panel.onSearch.addListener((eventName, queryString) => | 
| 55               { | 55               { | 
| 56                 if (panelWindow) | 56                 if (panelWindow) | 
| 57                   panelWindow.postMessage({type: eventName, queryString}, "*"); | 57                   panelWindow.postMessage({type: eventName, queryString}, "*"); | 
| 58               }); | 58               }); | 
| 59             } | 59             } | 
| 60           } | 60           } | 
| 61         ); | 61         ); | 
| 62       } | 62       } | 
| 63     } | 63     } | 
| 64   ); | 64   ); | 
| 65 } | 65 } | 
| OLD | NEW | 
|---|