bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: id attributes for header elements


From: Patrice Dumas
Subject: Re: id attributes for header elements
Date: Sun, 26 Dec 2021 18:30:15 +0100

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 @-command id and anchor.  It
is better to keep it, but it would probably be even better to have a
class to make it possible to select @anchor generated anchors.

> (2) Add the id attribute to the <h4> element rather than generate an empty 
> <span> node.

I did something along those lines, but not when there is a header, in
order to keep the anchor before the header, as it was agreed, long ago
that having the anchor before the header was better for navigation.

-- 
Pat



reply via email to

[Prev in Thread] Current Thread [Next in Thread]