[Top][All Lists]

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

reply via email to

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