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 |