From b510c6b96ad6de8af98f217811231227c9139ee3 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 21 Dec 2017 02:09:28 +0100 Subject: [PATCH] Improve group highlighting in generated HTML output Signed-off-by: Clifford Wolf --- htmlgen/htmlgen.py | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/htmlgen/htmlgen.py b/htmlgen/htmlgen.py index b9e5e8c9..34482350 100755 --- a/htmlgen/htmlgen.py +++ b/htmlgen/htmlgen.py @@ -293,6 +293,7 @@ for segtype in sorted(segbits.keys()): var grp2bits = { }; var bit2grp = { } var highlight_bits = [ ]; +var highlight_cache = { }; function ome(bit) { // console.log("ome: " + bit); @@ -301,9 +302,12 @@ function ome(bit) { for (i in grp2bits[grp]) { b = grp2bits[grp][i]; // console.log(" -> " + b); - el = document.getElementById("bit" + b); - el.style.fontWeight = "bold"; - highlight_bits.push(b); + if (!(b in highlight_cache)) { + el = document.getElementById("bit" + b); + highlight_cache[b] = el.bgColor; + el.bgColor = "#ffffff" + highlight_bits.push(b); + } } } } @@ -313,6 +317,8 @@ function oml() { for (i in highlight_bits) { b = highlight_bits[i]; el = document.getElementById("bit" + b); + el.bgColor = highlight_cache[b]; + delete highlight_cache[b]; el.style.fontWeight = "normal"; } highlight_bits.length = 0;