From b2fe72831c21bf20c7676390269c30d84201cc27 Mon Sep 17 00:00:00 2001
From: CulturedNiichan <oniichanhaou@yahoo.com>
Date: Sat, 10 Feb 2024 17:20:13 +0100
Subject: [PATCH] Show session name in window title

---
 mikupad.html | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/mikupad.html b/mikupad.html
index 37bd11d..646d837 100644
--- a/mikupad.html
+++ b/mikupad.html
@@ -2274,6 +2274,15 @@
 		}
 	}
 
+	function setTitleToSession() {
+		const sessionName = sessionStorage.getProperty('name');
+		document.title = sessionName ? 'mikupad - ' + sessionName : 'mikupad';
+	}
+
+	useEffect(() => {
+		setTitleToSession();
+	}, [sessionStorage]);
+
 	useEffect(() => {
 		if (triggerPredict) {
 			predict();
@@ -2649,6 +2658,7 @@
 		redoStack.current = [];
 		undoStack.current = [];
 		setUndoHovered(false);
+		setTitleToSession();
 	}
 
 	const probs = useMemo(() =>