[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The HTML-Info initiative

From: Patrice Dumas
Subject: Re: The HTML-Info initiative
Date: Mon, 27 Dec 2021 12:43:00 +0100

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]