info.js bugs

[Gavin Smith]

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.