Merge pull request #33 from culturedniichan/window-title

Show session name in window title

mikupad.html

@@ -2286,6 +2286,15 @@
 		}
 	}
 
+	function setTitleToSession() {
+		const sessionName = sessionStorage.getProperty('name');
+		document.title = sessionName ? 'mikupad - ' + sessionName : 'mikupad';
+	}
+
+	useEffect(() => {
+		setTitleToSession();
+	}, [sessionStorage]);
+
 	useEffect(() => {
 		if (triggerPredict) {
 			predict();
@@ -2661,6 +2670,7 @@
 		redoStack.current = [];
 		undoStack.current = [];
 		setUndoHovered(false);
+		setTitleToSession();
 	}
 
 	const probs = useMemo(() =>