Issue 3796 - Added preference to remove developer tools panel

chrome/devtools.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2016 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
  * You should have received a copy of the GNU General Public License
  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>.
  */
 
 "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");
+});