Issue 3796 - Added preference to remove developer tools panel

options.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
@@ skipping 22 matching lines @@
 {
   this.parseFilter = parseFilter;
   this.parseFilters = parseFilters;
 }
 var FilterStorage = require("filterStorage").FilterStorage;
 var FilterNotifier = require("filterNotifier").FilterNotifier;
 var Prefs = require("prefs").Prefs;
 var Synchronizer = require("synchronizer").Synchronizer;
 var Utils = require("utils").Utils;
 var NotificationStorage = require("notification").Notification;
+var info = require("info");
 
 // Loads options from localStorage and sets UI elements accordingly
 function loadOptions()
 {
   // Set page title to i18n version of "Adblock Plus Options"
   document.title = i18n.getMessage("options");
 
   // Set links
   $("#acceptableAdsLink").attr("href", Prefs.subscriptions_exceptionsurl);
   $("#acceptableAdsDocs").attr("href", Utils.getDocLink("acceptable_ads"));
   setLinks("filter-must-follow-syntax", Utils.getDocLink("filterdoc"));
-  setLinks("found-a-bug", Utils.getDocLink(require("info").application + "_support"));
+  setLinks("found-a-bug", Utils.getDocLink(info.application + "_support"));
 
   // Add event listeners
   window.addEventListener("unload", unloadOptions, false);
   $("#updateFilterLists").click(updateFilterLists);
   $("#startSubscriptionSelection").click(startSubscriptionSelection);
   $("#subscriptionSelector").change(updateSubscriptionSelection);
   $("#addSubscription").click(addSubscription);
   $("#acceptableAds").click(allowAcceptableAds);
   $("#whitelistForm").submit(addWhitelistDomain);
   $("#removeWhitelist").click(removeSelectedExcludedDomain);
   $("#customFilterForm").submit(addTypedFilter);
   $("#removeCustomFilter").click(removeSelectedFilters);
   $("#rawFiltersButton").click(toggleFiltersInRawFormat);
   $("#importRawFilters").click(importRawFiltersText);
   FilterNotifier.addListener(onFilterChange);
 
   // Display jQuery UI elements
   $("#tabs").tabs();
   $("button").button();
   $(".refreshButton").button("option", "icons", {primary: "ui-icon-refresh"});
   $(".addButton").button("option", "icons", {primary: "ui-icon-plus"});
   $(".removeButton").button("option", "icons", {primary: "ui-icon-minus"});
 
   // Popuplate option checkboxes
   initCheckbox("shouldShowBlockElementMenu");
-  if (Prefs.notifications_showui)
-  {
-    initCheckbox("shouldShowNotifications", {
-      get: function()
-      {
-        return Prefs.notifications_ignoredcategories.indexOf("*") == -1;
-      },
-      toggle: function()
-      {
-        NotificationStorage.toggleIgnoreCategory("*");
-        return this.get();
-      }
-    });
-  }
-  else
+  initCheckbox("show_devtools_panel");
+  initCheckbox("shouldShowNotifications", {
+    get: function()
+    {
+      return Prefs.notifications_ignoredcategories.indexOf("*") == -1;
+    },
+    toggle: function()
+    {
+      NotificationStorage.toggleIgnoreCategory("*");
+      return this.get();
+    }
+  });
+
+  if (info.platform != "chromium")
+    document.getElementById("showDevtoolsPanelContainer").hidden = true;
+  if (!Prefs.notifications_showui)
     document.getElementById("shouldShowNotificationsContainer").hidden = true;
 
   ext.onMessage.addListener(onMessage);
   ext.backgroundPage.sendMessage({
     type: "app.listen",
     filter: ["addSubscription"]
   });
 
   // Load recommended subscriptions
   loadRecommendations();
@@ skipping 594 matching lines @@
       links[i].href = arguments[i + 1];
       links[i].setAttribute("target", "_blank");
     }
     else if (typeof arguments[i + 1] == "function")
     {
       links[i].href = "javascript:void(0);";
       links[i].addEventListener("click", arguments[i + 1], false);
     }
   }
 }