silencing warnings of inconsistencies of directions with order in menu

2020-11-03 Thread Patrice Dumas
Hello, Following Christopher report on constraints on menu, I though about the issue, and I think that the warnings about order of nodes in menu not following the node directions should at least be easily silenced, and maybe not turned on in the default case. In addition I see no reason to avoid

Re: HTML self links to anchor points

2020-11-03 Thread Raymond Toy
On Tue, Nov 3, 2020 at 11:57 AM Gavin Smith wrote: > On Tue, Nov 03, 2020 at 07:53:08AM -0800, Raymond Toy wrote: > > > > I think links for @anchor is important since it's something the author > had > > > to say explicitly, so having that available in html seems appropriate. > > > Perhaps I'll ch

Re: HTML self links to anchor points

2020-11-03 Thread Gavin Smith
On Tue, Nov 03, 2020 at 07:53:08AM -0800, Raymond Toy wrote: > I tried this out using the maxima manual. This looks nice and works very > well! Not sure I like the fact that I can only see the link when I hover > over the item. I didn't check on a mobile device, but if this is how it > works o

Re: HTML self links to anchor points

2020-11-03 Thread Raymond Toy
On Mon, Nov 2, 2020 at 2:32 PM Raymond Toy wrote: > > > On Sun, Nov 1, 2020 at 1:02 PM Gavin Smith > wrote: > > I've gone and implemented it anyway (in commit b9920b16), because I >> wanted to see what it would be like. It is for @def* commands only >> at the moment, not for @anchor or for sect