Re: modernizing html output

[Gavin Smith]

On 4/2/19, Mathieu Lirzin <address@hidden> wrote:
>> 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>
>
> ‘id’ attributes are supposed to be unique [1], as a consequence it seems
> that there is no need to “querySelect” from a parent element anymore.
> We could simply use the following:
>
>     document.getElementById (linkid)

Thanks, I changed it.

> I am glad to see some interest in using and improving ‘texinfo-js’.

Are any of your blog posts from your webpage
(http://mathieu.lirzin.emi.u-bordeaux.fr/) still available? I'm
understanding the code better now I am trying to embed it within
QWebEngineView.