From e55faac19fb69db78fe5057f1ff68b6a84efac8b Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Sun, 18 Jun 2017 09:54:14 +0200
Subject: [PATCH] keys: append current mode name to page title

Especially useful to distinguish browse history.
---
 keys.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/keys.js b/keys.js
index e1b7038..eca77e5 100644
--- a/keys.js
+++ b/keys.js
@@ -1,3 +1,5 @@
+var basetitle = document.title;
+
 function setmode(classname, restore) {
 	// set style for each #rows>li>ul>li to display:none unless it matches classname
 	var showclass = classname ? '^mode '+classname+'(?!\\w)' : '^(?!mode)';
@@ -13,6 +15,7 @@ function setmode(classname, restore) {
 		if (h3s[i].parentNode.style.display != 'block') continue;
 		var header = h3s[i].firstChild.data;
 		document.getElementsByTagName('H2')[0].innerHTML = header;
+		document.title = basetitle + ': ' + header;
 		if (restore) break;
 		history.pushState(null, header, classname ? '#'+classname : '#');
 		break;
-- 
2.30.0