[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Any interest in using HTML for locally-installed Texinfo documentati
From: |
Gavin Smith |
Subject: |
Re: Any interest in using HTML for locally-installed Texinfo documentation? |
Date: |
Tue, 15 Oct 2019 22:30:25 +0100 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Tue, Oct 15, 2019 at 02:09:59PM -0700, Per Bothner wrote:
> On 10/15/19 2:00 PM, Gavin Smith wrote:
>
> > JavaScript should not be necessary if there is DOM access from the C/C++
> > side, as the case with WebKitGTK (although it is not as easy as it could
> > be). Frames should not be necessary either: for a table of contents
> > side bar, I imagine this would be done as a widget outside of the
> > embedded browser.
>
> That's ok if you don't mind implementing and maintaining two separate
> implementations, one for online documentation access and one for local
> documentation.
> I would recommend against that.
I think there should be two different implementations. Otherwise the
local documentation reader will likely have a large amount of glue code
and a confusing and unnecessarily complicated architecture. Moreover,
the existing JavaScript code does not deal with multiple manuals at all.
Re: Any interest in using HTML for locally-installed Texinfo documentation?, Ricardo Wurmus, 2019/10/15
Re: Any interest in using HTML for locally-installed Texinfo documentation?, Ludovic Courtès, 2019/10/19