From d20d491e5296af2058354f67101cad6750ef981a Mon Sep 17 00:00:00 2001
From: David Rosca <nowrep@gmail.com>
Date: Sat, 27 Jan 2018 20:27:24 +0100
Subject: [PATCH] Filter duplicated plugins in falkon:config page

Also show plugin filename
---
 src/lib/data/html/config.html | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/lib/data/html/config.html b/src/lib/data/html/config.html
index e0102f15c..60f179e54 100644
--- a/src/lib/data/html/config.html
+++ b/src/lib/data/html/config.html
@@ -23,13 +23,15 @@ table.tbl {width: 100%;margin: 15px 0;border-radius: 4px;padding: 0px;border: 2p
 <script type="text/javascript">
 function addPlugins() {
     var table = document.getElementById('npapi-plugins');
-    for(var i = 0; i < navigator.plugins.length; i++) {
+    var existing = {};
+    for (var i = 0; i < navigator.plugins.length; i++) {
         var plugin = navigator.plugins[i];
-        if (plugin.name == '') {
+        if (plugin.name == '' || existing[plugin.filename]) {
             continue;
         }
-
-        table.innerHTML += "<tr><td>" + plugin.name + "</td><td colspan=3>" + plugin.description + "</td></tr>";
+        existing[plugin.filename] = true;
+        table.innerHTML += "<tr><td>" + plugin.name + "</td><td colspan=3>"
+            + plugin.description + " (" + plugin.filename + ")</td></tr>";
     }
 }
 window.addEventListener("load", addPlugins, false);