[adblockpluschrome] Issue 3596 - Added support for CSS property filters to devtools panel

lib/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";
 
-let {
-  RegExpFilter,
-  WhitelistFilter,
-  ElemHideFilter,
-  ElemHideEmulationFilter
-} = require("filterClasses");
-
-let {SpecialSubscription} = require("subscriptionClasses");
-let {FilterStorage} = require("filterStorage");
-let {defaultMatcher} = require("matcher");
-let {FilterNotifier} = require("filterNotifier");
-let {extractHostFromFrame} = require("url");
-let {port} = require("messaging");
+const {RegExpFilter,
+       WhitelistFilter,
+       ElemHideFilter,
+       ElemHideEmulationFilter} = require("filterClasses");
+
+const {SpecialSubscription} = require("subscriptionClasses");
+const {FilterStorage} = require("filterStorage");
+const {defaultMatcher} = require("matcher");
+const {FilterNotifier} = require("filterNotifier");
+const {extractHostFromFrame} = require("url");
+const {port} = require("messaging");
 
 const nonRequestTypes = ["DOCUMENT", "ELEMHIDE", "GENERICBLOCK", "GENERICHIDE"];
 
 // Mapping of inspected tabs to their devpanel page
 // and recorded items. We can't use a PageMap here,
 // because data must persist after navigation/reload.
 let panels = Object.create(null);
 
 function hasPanels()
 {
@@ skipping 341 matching lines @@
   panels[inspectedTabId] = {port: port, records: []};
 });
 
 port.on("devtools.traceElemHide", (message, sender) =>
 {
   logHiddenElements(
     sender.page, message.selectors,
     extractHostFromFrame(sender.frame)
   );
 });