From 2f1704aac0922df09614b15379cd173191696c2a Mon Sep 17 00:00:00 2001
From: Concedo <Concedo@noreply.com>
Date: Fri, 8 Dec 2023 11:29:00 +0800
Subject: [PATCH] allow settings in offline mode

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index c4ee7d1..2175a45 100644
--- a/index.html
+++ b/index.html
@@ -3640,7 +3640,7 @@
 				let elem = document.getElementById("gametext")
 				let selection = window.getSelection();
 				let fullySelected = (elem.innerText!="" && selection.toString() === elem.innerText);
-				if(fullySelected)
+				if(fullySelected || elem.innerText.trim()=="")
 				{
 					document.execCommand('selectAll', false, null);
   					document.execCommand('insertText', false, "");
@@ -10240,7 +10240,7 @@
 			document.getElementById("topbtn_ai").classList.add("hidden");
 			document.getElementById("topbtn_newgame").classList.remove("hidden");
 			document.getElementById("topbtn_save_load").classList.remove("hidden");
-			document.getElementById("topbtn_settings").classList.add("hidden");
+			document.getElementById("topbtn_settings").classList.remove("hidden");
 			document.getElementById("topbtn_scenarios").classList.add("hidden");
 			document.getElementById("topbtn_quickplay").classList.add("hidden");
 		} else {