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 => |