[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