keys: append current mode name to page title

Especially useful to distinguish browse history.

diff --git a/keys.js b/keys.js
index e1b7038e197d66d298c5b04710b099de0bb38e97..eca77e5d930adbf82acbaf67b0b7aae6bfce8864 100644 (file)
--- 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;