| Index: devtools.js |
| =================================================================== |
| --- a/devtools.js |
| +++ b/devtools.js |
| @@ -21,17 +21,17 @@ |
| chrome.runtime.sendMessage( |
| { |
| type: "prefs.get", |
| key: "show_devtools_panel" |
| }, |
| enabled => |
| { |
| - if (enabled) |
| + if (enabled && "panels" in chrome.devtools) |
|
Sebastian Noack
2017/09/08 20:29:06
There should be a comment mentioning to the effect
Manish Jethani
2017/09/08 21:19:54
Done.
|
| { |
| chrome.devtools.panels.create( |
| "Adblock Plus", |
| "icons/detailed/abp-48.png", |
| "devtools-panel.html", |
| panel => |
| { |
| panel.onShown.addListener(window => |