Add blur effect to hamburger menu when reload popup is shown

dodaucy · Nov 18, 2023 · 0ba460d · 0ba460d
1 parent ebea738
commit 0ba460d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/static/js/utils.js b/static/js/utils.js
@@ -183,6 +183,8 @@ function show_reload_popup(show, text) {
     if (save_popup_save) {
         document.getElementById("save-popup").style.filter = show ? "blur(2px)" : "none";
     }
+    document.getElementById("hamburger-menu").style.filter = show ? "blur(2px)" : "none";
+    document.getElementById("hamburger-menu-nav").style.filter = show ? "blur(2px)" : "none";
 }