Unified Diff: background.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
|
« _locales/en_US/messages.json ('k')
|
chrome/devtools.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: background.js |
| =================================================================== |
| --- a/background.js |
| +++ b/background.js |
| @@ -263,6 +263,9 @@ |
| extractHostFromFrame(sender.frame) |
| ); |
| break; |
| + case "has-devtools-panel": |
| + sendResponse(Prefs.show_devtools_panel); |
| + break; |
| case "forward": |
| var targetPage; |
| if (msg.targetPageId) |
« no previous file with comments
|
« _locales/en_US/messages.json ('k')
|
chrome/devtools.js » ('j')
|
lib/prefs.js » ('J')
