On 11/18/22 14:43, Gavin Smith wrote:
Unfortunately, it has various obvious problems. Most significantly, the
index search does not work.
The problem is line 1459 in info.js:
var index_links = document.querySelectorAll ("td[valign=top] a");
The elements in index no longer have th
On Fri, Nov 18, 2022 at 04:12:23PM -0800, Per Bothner wrote:
>
>
> On 11/18/22 15:48, Patrice Dumas wrote:
> > On Fri, Nov 18, 2022 at 03:19:23PM -0800, Per Bothner wrote:
> > >
> > >
> > > Before, when I converted the DomTerm manual to html the output contained:
> > >
> > > DomTerm - a termin
On 11/18/22 15:48, Patrice Dumas wrote:
On Fri, Nov 18, 2022 at 03:19:23PM -0800, Per Bothner wrote:
Before, when I converted the DomTerm manual to html the output contained:
DomTerm - a terminal emulator and console using DOM and
JavaScript
This is now gone.
Looks a change in the gener
On Fri, Nov 18, 2022 at 03:19:23PM -0800, Per Bothner wrote:
>
>
> Before, when I converted the DomTerm manual to html the output contained:
>
> DomTerm - a terminal emulator and console using DOM and
> JavaScript
>
> This is now gone.
>
> Looks a change in the generated html broke this.
Yes
On 11/18/22 14:43, Gavin Smith wrote:
The "hide sidebar" button at the top of the
sidebar is also too prominent and leaves too much empty space at the top.
The intention is the that "wasted" space would contain a title or logo.
Like for the DomTerm manual: https://domterm.org/index.html
Cur
On Sun, Nov 13, 2022 at 09:43:21AM +, Gavin Smith wrote:
> It is used for the -c INFO_JS_DIR option to texi2any. It has not received
> much recent development. There is no plan for any further development
> to this code, and such would rely on people coming forth to report problems
> or sugge
