Re: js-info polishing

2021-05-02 Thread Per Bothner
On 5/2/21 2:16 PM, Gavin Smith wrote: I've noticed something else (sorry, don't know how hard it would be to fix). When on a page that has sub-sections in the same page (due to the level of "split"), the keyboard commands "n" and "p" don't work for the sub-sections that are in the same page.

Re: js-info polishing

2021-05-02 Thread Gavin Smith
On Sun, May 02, 2021 at 10:17:43AM -0700, Per Bothner wrote: > > > On 5/2/21 10:10 AM, Gavin Smith wrote: > > I saw that you've commited a change to this but it is not reflected for > > me at > > > > https://per.bothner.com/tmp/Kawa-txjs-plain/style/info.js > > > > in the on_message function. >

Re: js-info polishing

2021-05-02 Thread Per Bothner
On 5/2/21 10:10 AM, Gavin Smith wrote: I saw that you've commited a change to this but it is not reflected for me at https://per.bothner.com/tmp/Kawa-txjs-plain/style/info.js in the on_message function. I'm confused about what happened, but should be fixed now. -- --Per Bothner p.

Re: js-info polishing

2021-05-02 Thread Gavin Smith
On Sun, May 02, 2021 at 08:26:14AM -0700, Per Bothner wrote: > > > On 4/30/21 4:06 AM, Per Bothner wrote: > > > > > > On 4/29/21 9:40 AM, Gavin Smith wrote: > > > Another problem: Navigate to > > > > > > https://per.bothner.com/tmp/Kawa-txjs-plain/index.html > > > > > > type "i" then "constan

Re: js-info polishing

2021-05-02 Thread Per Bothner
On 4/30/21 4:06 AM, Per Bothner wrote: On 4/29/21 9:40 AM, Gavin Smith wrote: Another problem: Navigate to https://per.bothner.com/tmp/Kawa-txjs-plain/index.html type "i" then "constant-fold", select the option in the menu, then pressĀ  Return. Then the page https://per.bothner.com/tmp/

Re: how to skip default css format lines in html output

2021-05-02 Thread Gavin Smith
On Sat, May 01, 2021 at 07:07:28PM -0700, Per Bothner wrote: > It seems wrong to include inline css in generated html files, > especially when using the --ccs-ref or -C INFO_JS_DIR options. > The documentation is complicated. The advice to use !important > to override the default style rules feels