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
[email protected] http://per.bothner.com/
