[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.
--
Pat