From f5d39ee3055941a3160741fa32287f63bac28521 Mon Sep 17 00:00:00 2001
From: GGodPL <46885632+GGodPL@users.noreply.github.com>
Date: Sat, 8 Jul 2023 00:17:50 +0200
Subject: [PATCH] i forgot to remove that

---
 mods/betterModManager.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/mods/betterModManager.js b/mods/betterModManager.js
index 2fc6630e..daea8136 100644
--- a/mods/betterModManager.js
+++ b/mods/betterModManager.js
@@ -4,7 +4,6 @@ function updateModManager() {
     const modManager = document.getElementById("modManager");
     // make the title a bit better
     // modManager.getElementsByClassName("menuTitle").item(0).innerHTML = '<span class="menuTitle">Mod Manager</span>';
-    // '<button id="modList" onclick="openModList()">Open Mod List</button>'
     document.getElementById("modManagerUrl").remove();
     const button = document.createElement("button");
     button.id = "modListOpen";
@@ -40,7 +39,7 @@ function addModList() {
     <span>NOTE: This list contains mods ONLY available on GitHub. For custom mods hosted elsewhere, enter JS url in the <a href="#modManagerUrl">.JS URL input box</a>.</span>`;
     const modListUl = document.createElement("ul");
     modListUl.id = "modListUl";
-    modListUl.style.maxHeight = `50%`;
+    modListUl.style.maxHeight = "50%";
     modListUl.style.overflowY = "scroll";
     modList.appendChild(modListUl);
     parent.appendChild(modList);
@@ -157,4 +156,4 @@ closeMenu = function() {
         }
         showingMenu = false;
     }
-}
\ No newline at end of file
+}