[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The HTML-Info initiative
|
From: |
Gavin Smith |
|
Subject: |
Re: The HTML-Info initiative |
|
Date: |
Mon, 27 Dec 2021 21:34:04 +0000 |
|
User-agent: |
Mutt/1.9.4 (2018-02-28) |
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.