Issue 4136 - Support Chrome's dark devtools theme

devtools-panel.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";
 
+var lastFilterQuery = null;
+
 function generateFilter(request, domainSpecific)
 {
   var filter = request.url.replace(/^[\w\-]+:\/+(?:www\.)?/, "||");
   var options = [];
 
   if (request.type == "POPUP")
   {
     options.push("popup");
 
     if (request.url == "about:blank")
@@ skipping 80 matching lines @@
     if (filter.userDefined)
       actionWrapper.appendChild(createActionButton(
         "remove", "Remove rule", filter.text
       ));
   }
   else
     actionWrapper.appendChild(createActionButton(
       "add", "Block item", generateFilter(request, request.specificOnly)
     ));
 
+  if (lastFilterQuery && shouldFilterRow(row, lastFilterQuery))
+    row.classList.add("filtered-by-search");
+
   return row;
+}
+
+function shouldFilterRow(row, query)
+{
+  var elementsToSearch = [
+    row.getElementsByClassName("url"),
+    row.getElementsByClassName("filter"),
+    row.getElementsByClassName("origin"),
+    row.getElementsByClassName("type")
+  ];
+
+  for (var elements of elementsToSearch)
+  {
+    for (var element of elements)
+    {
+      if (element.innerText.search(query) != -1)
+        return false;
+    }
+  }
+  return true;
+}
+
+function performSearch(table, query)
+{
+  for (var row of table.rows)
+  {
+    if (shouldFilterRow(row, query))
+      row.classList.add("filtered-by-search");
+    else
+      row.classList.remove("filtered-by-search");
+  }
+}
+
+function cancelSearch(table)
+{
+  for (var row of table.rows)
+    row.classList.remove("filtered-by-search");
 }
 
 document.addEventListener("DOMContentLoaded", function()
 {
   var container = document.getElementById("items");
   var table = container.querySelector("tbody");
   var template = document.querySelector("template").content.firstElementChild;
 
   document.getElementById("reload").addEventListener("click", function()
   {
@@ skipping 32 matching lines @@
         container.classList.add("has-changes");
         break;
 
       case "reset":
         table.innerHTML = "";
         container.classList.remove("has-changes");
         break;
     }
   });
 
+  window.addEventListener("message", function(event)
+  {
+    switch(event.data.type)
+    {
+      case "performSearch":
+        performSearch(table, event.data.queryString);
+        lastFilterQuery = event.data.queryString;
+        break;
+      case "cancelSearch":
+        cancelSearch(table);
+        lastFilterQuery = null;
+        break;
+    }
+  });
+
   // Since Chrome 54 the themeName is accessible, for earlier versions we must
   // assume the default theme is being used.
   // https://bugs.chromium.org/p/chromium/issues/detail?id=608869
   let theme = chrome.devtools.panels.themeName || "default";
   document.body.classList.add(theme);
 }, false);