From c9a1ef7102d3f14cd1f67319d6d129c3e2343bf8 Mon Sep 17 00:00:00 2001
From: lowlighter <22963968+lowlighter@users.noreply.github.com>
Date: Thu, 19 Aug 2021 21:07:42 +0200
Subject: [PATCH] Fix an issue on web where repositories plugin options were
 merged with base one

---
 source/app/web/statics/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/app/web/statics/app.js b/source/app/web/statics/app.js
index 30923819..ce068a22 100644
--- a/source/app/web/statics/app.js
+++ b/source/app/web/statics/app.js
@@ -216,7 +216,7 @@
         const enabled = Object.entries(this.plugins.enabled).filter(([key, value]) => (value) && (key !== "base")).map(([key, value]) => key)
         const filter = new RegExp(`^(?:${enabled.join("|")})[.]`)
         //Search related options
-        const entries = Object.entries(this.plugins.options.descriptions).filter(([key, value]) => filter.test(key))
+        const entries = Object.entries(this.plugins.options.descriptions).filter(([key, value]) => (filter.test(key)) && (!(key in metadata.base.web)))
         entries.push(...enabled.map(key => [key, this.plugins.descriptions[key]]))
         entries.sort((a, b) => a[0].localeCompare(b[0]))
         //Return object