From 114fe2a6b2b8dcfbe3c518f50a2d6b22495ffdd0 Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Sun, 18 Jun 2017 09:50:25 +0200 Subject: [PATCH] keys: speed up javascript search for header title Ignore subsequent headers to avoid duplicate work. --- keys.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/keys.js b/keys.js index 993e8f4..5dc2e2d 100644 --- a/keys.js +++ b/keys.js @@ -11,7 +11,9 @@ function setmode(classname) { var h3s = document.getElementsByTagName('TH'); for (var i = 0; i < h3s.length; i++) { if (h3s[i].parentNode.style.display != 'block') continue; - document.getElementsByTagName('H2')[0].innerHTML = h3s[i].firstChild.data; + var header = h3s[i].firstChild.data; + document.getElementsByTagName('H2')[0].innerHTML = header; + break; } } -- 2.30.0