From d14c3a8781338d9bb7be45f2cebe7c824df662ac Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Thu, 12 Dec 2024 19:16:39 +0100
Subject: [PATCH] fix bolding when filename have an accent

---
 static/js/cours.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/js/cours.js b/static/js/cours.js
index 8800b14..391a5a2 100644
--- a/static/js/cours.js
+++ b/static/js/cours.js
@@ -148,7 +148,7 @@ window.addEventListener("load", () => {
     uncollapse(currentlyOpen);
 
     // Bold opened file
-    const openedFile = fullpath.split("/").at(-1);
+    const openedFile = decodeURI(fullpath.split("/").at(-1));
     currentlyOpen.querySelector("ul").childNodes.forEach((el) => {
       if (el.innerText === openedFile) {
         el.style.fontWeight = "bold";