From fdd5a8e41b8d94316c8c9aa52c9ecca59360261c Mon Sep 17 00:00:00 2001
From: quenousimporte <76260127+quenousimporte@users.noreply.github.com>
Date: Fri, 3 Mar 2023 09:58:56 +0100
Subject: [PATCH] added: option to show title by default changed: title style

---
 main.js   | 8 +++++++-
 style.css | 4 +++-
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/main.js b/main.js
index 67fe847..ca18ef5 100644
--- a/main.js
+++ b/main.js
@@ -14,7 +14,8 @@ var defaultsettings =
 	enablefolding: false,
 	tagautocomplete: false,
 	titleinaccentcolor: false,
-	enablenetwork: false
+	enablenetwork: false,
+	titlebydefault: false
 };
 
 //builtin
@@ -1112,6 +1113,11 @@ function loadsettings()
 	{
 		commands = commands.filter(c => !c.hint.toLowerCase().includes("fold"));
 	}
+
+	if (settings.titlebydefault)
+	{
+		toggletitle();
+	}
 }
 
 function checksaved()
diff --git a/style.css b/style.css
index 0e4a6c6..aa0d16a 100644
--- a/style.css
+++ b/style.css
@@ -70,9 +70,11 @@ body::-webkit-scrollbar-thumb {
 
 #title {
 	width: 100%;
-	padding-top: 10px;
 	font-size: 20px;
 	background-color: inherit;
+	height: 100%;
+	font-weight: bold;
+
 }
 
 /* search file dialog */