On Sat, Oct 09, 2021 at 06:42:11PM -0700, Per Bothner wrote: > Compare > https://domterm.org/Wire-byte-protocol.html > with > https://domterm.org/Frontends.html >
Unrelated to your original message, but looking at those pages, I noticed a few problems with info.js: * Typing "i" brings up the index search box, but there is no index in the document. Showing a message "No indices" would be better than a text entry box. * The browser tab is named starting "Top (DomTerm..." regardless of which page is being shown. * When pressing "s" for search, it's very easy for the search box to contain the letter "s", even if the default is something else. To trigger: hold down the "s" key, then press Escape. Then press "s" again. There is an "s" stuck in the search box. (I couldn't break this reliably.) As a side note, it's great that you feel info.js is good enough now for you to use for the DomTerm website. One of my favourite features is that the sidebar is persistent on the screen while the new page is being loaded, which gives a very smooth experience.