[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: modernizing html output

From: Per Bothner
Subject: Re: modernizing html output
Date: Tue, 29 Jan 2019 14:48:07 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0

On 1/28/19 12:05 PM, Gavin Smith wrote:
On Tue, Jan 01, 2019 at 05:46:11PM -0800, Per Bothner wrote:

diff --git a/js/info.js b/js/info.js
index 10a2b1d..0175d35 100644
--- a/js/info.js
+++ b/js/info.js
@@ -1170,7 +1170,7 @@
        if (linkid === config.INDEX_ID)
            hide_grand_child_nodes (ul);
-          res = elem.querySelector ("a[name=\"" + linkid + "\"]");
+          res = elem.querySelector ("a[id=\"" + linkid + "\"]");

I suggest trying just a simple "id selector":

          res = elem.querySelector("#" + linkid);

This should work on any element with a match 'id' attribute.
I'd like us to get away from using <a> element for link definitions.
For example (if we can get makenifo to DTRT):

   <div class="node" id="NODE-ID">...</div>
        --Per Bothner
address@hidden   http://per.bothner.com/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]