On Mon, Dec 27, 2021 at 12:43:00PM +0100, Patrice Dumas wrote: > 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.
I don't see any obstacle in principle to those features. The former would probably require use of JavaScript. As for the latter I believe WebKitGTK has some support for searches in pages although I haven't researched the details.
