On Mon, Dec 27, 2021 at 09:02:59AM +0000, Gavin Smith wrote: > I've started it in the TODO.HTML file in the git repo. It can be read at > > https://git.savannah.gnu.org/cgit/texinfo.git/plain/TODO.HTML
The video made me want to test the webkitgtk based reader, it seems to have most of the features for a replacement of the info reader based on html for local browsing? There are two features from the info reader that I miss: * hitting space linearily reads the document. This also works on browers, epub * full text search obtained with typing s or / in the info reader. And one feature that would be nice too, would be to be able to search in the page only. The interface is similar to the info.js and I think that it would be nice to keep it that way, such that users can switch from one to the other, and it would also be nice to be similar to info too. -- Pat
