From 4e8effda1199a21acca21deddf68914a10955fce Mon Sep 17 00:00:00 2001
From: SillyLossy <titan0599@gmail.com>
Date: Fri, 12 May 2023 13:50:06 +0300
Subject: [PATCH] Do not duplicate disabled extensions

---
 public/scripts/extensions.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/public/scripts/extensions.js b/public/scripts/extensions.js
index bfa67bed5..884e96968 100644
--- a/public/scripts/extensions.js
+++ b/public/scripts/extensions.js
@@ -95,8 +95,9 @@ async function activateExtensions() {
     for (let entry of extensions) {
         const name = entry[0];
         const manifest = entry[1];
+        const elementExists = document.getElementById(name) !== null;
 
-        if (activeExtensions.has(name)) {
+        if (elementExists || activeExtensions.has(name)) {
             continue;
         }