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.
