Issue 5316 - Adds dynamic filter types to devtools panel

devtools-panel.js

Index: devtools-panel.js
===================================================================
--- a/devtools-panel.js
+++ b/devtools-panel.js
@@ -14,16 +14,33 @@
  * 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 lastFilterQuery = null;
 
+ext.backgroundPage.sendMessage({type: "types.get"},
+  (filterTypes) =>
+  {
+    let filterTypesElem = document.getElementById("filter-type");
+    let filterStyleElem = document.createElement("style");
+    for (let type of filterTypes)
+    {
+      filterStyleElem.innerHTML +=
+        `#items[data-filter-type=${type}] tr:not([data-type=${type}])` +
+        "{display: none;}";
+      let optionNode = document.createElement("option");
+      optionNode.appendChild(document.createTextNode(type));
+      filterTypesElem.appendChild(optionNode);
+    }
+    document.body.appendChild(filterStyleElem);
+  });
+
 function generateFilter(request, domainSpecific)
 {
   let filter = request.url.replace(/^[\w-]+:\/+(?:www\.)?/, "||");
   let options = [];
 
   if (request.type == "POPUP")
   {
     options.push("popup");