From 2e5d2a85beacf4e75f283de436b7db5d1287af7e Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Thu, 24 Nov 2022 19:46:18 +0100
Subject: [PATCH] allow to hide the settings panel

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

diff --git a/js/main.js b/js/main.js
index c0681cd..e943193 100644
--- a/js/main.js
+++ b/js/main.js
@@ -25,7 +25,7 @@ const main = () => {
     addEventListener("keypress", player.controlUser);
 
     // GUI
-    const gui = new dat.gui.GUI({ hideable: false, closeOnTop: true });
+    const gui = new dat.gui.GUI({ closeOnTop: true });
     const menu = Quality.buildGUI(env.quality);
     for (const quality in menu) {
         gui.add(menu, quality)