Re: id attributes for header elements

2021-12-26 Thread Per Bothner
On 12/26/21 12:04, Patrice Dumas wrote: On Sun, Dec 26, 2021 at 11:24:59AM -0800, Per Bothner wrote: I believe putting the link on the sectioning command is slightly better (more semantically meaningful and easier to work with) than putting it before - and it is never worse. I agree, and wh

Re: id attributes for header elements

2021-12-26 Thread Patrice Dumas
On Sun, Dec 26, 2021 at 11:24:59AM -0800, Per Bothner wrote: > > > On 12/26/21 10:29, Patrice Dumas wrote: > > On Sun, Dec 26, 2021 at 10:08:50AM -0800, Per Bothner wrote: > > > I don't remember, and I don't see how it could be better for navigation.. > > > > It was some time ago, at least some

Re: id attributes for header elements

2021-12-26 Thread Per Bothner
On 12/26/21 10:29, Patrice Dumas wrote: On Sun, Dec 26, 2021 at 10:08:50AM -0800, Per Bothner wrote: I don't remember, and I don't see how it could be better for navigation.. It was some time ago, at least some people expected the link to point to the start of the header, and not to the hea

Re: id attributes for header elements

2021-12-26 Thread Patrice Dumas
On Sun, Dec 26, 2021 at 10:08:50AM -0800, Per Bothner wrote: > > > On 12/26/21 09:30, Patrice Dumas wrote: > > On Sat, Dec 25, 2021 at 02:10:29PM -0800, Per Bothner wrote: > > > Two requests: > > > (1) Don't generates the implicit id="Electron-1" when it immediately > > > follows > > > an explic

Re: id attributes for header elements

2021-12-26 Thread Per Bothner
On 12/26/21 09:30, Patrice Dumas wrote: On Sat, Dec 25, 2021 at 02:10:29PM -0800, Per Bothner wrote: Two requests: (1) Don't generates the implicit id="Electron-1" when it immediately follows an explicit id="Electron". I do not think that it is a good idea, the @anchor anchor and id should

Re: id attributes for header elements

2021-12-26 Thread Patrice Dumas
On Sat, Dec 25, 2021 at 02:10:29PM -0800, Per Bothner wrote: > Two requests: > (1) Don't generates the implicit id="Electron-1" when it immediately follows > an explicit id="Electron". I do not think that it is a good idea, the @anchor anchor and id should stay different from the @node, or section

Re: id attributes for header elements

2021-12-25 Thread Jean-Christophe Helary
> On Dec 26, 2021, at 7:10, Per Bothner wrote: > > (This is related to the "control over sectioning and splitting: thread, > as it may make it easier to provide a clean solution.) > > Currently, a header element generates an empty > Electron > > while: > > @anchor{Electron} > @subheading

id attributes for header elements

2021-12-25 Thread Per Bothner
(This is related to the "control over sectioning and splitting: thread, as it may make it easier to provide a clean solution.) Currently, a header element generates an empty Electron while: @anchor{Electron} @subheading Electron generates: Electron Two requests: (1) Don't generates the impli