Unified Diff: chrome/devtools.js
Issue 29338208:
Issue 3796 - Added preference to remove developer tools panel (Closed)
Patch Set:
Created March 14, 2016, 1:07 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« background.js ('k')
|
lib/prefs.js » ('j')
|
lib/prefs.js » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: chrome/devtools.js |
| =================================================================== |
| --- a/chrome/devtools.js |
| +++ b/chrome/devtools.js |
| @@ -17,8 +17,10 @@ |
| "use strict"; |
| -chrome.devtools.panels.create( |
| - "Adblock Plus", |
| - "icons/detailed/abp-48.png", |
| - "devtools-panel.html" |
| -); |
| +chrome.runtime.sendMessage({type: "has-devtools-panel"}, function(response) |
| +{ |
| + if (response) |
| + chrome.devtools.panels.create("Adblock Plus", |
| + "icons/detailed/abp-48.png", |
| + "devtools-panel.html"); |
| +}); |
« no previous file with comments
|
« background.js ('k')
|
lib/prefs.js » ('j')
|
lib/prefs.js » ('J')
