[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] HTML: Enable generating copiable anchors on heading comma
From: |
Patrice Dumas |
Subject: |
Re: [PATCH v2] HTML: Enable generating copiable anchors on heading commands |
Date: |
Thu, 26 Jan 2023 20:46:43 +0100 |
On Thu, Jan 26, 2023 at 08:32:21PM +0100, Patrice Dumas wrote:
>
> Lastly, for consistency, I think that it is better to use only " for the
> attributes, I can do it too.
This one is not on you, it is like that for all copiable anchors...
I'll change it anyway.
--
Pat
Re: [PATCH] HTML: Enable generating copiable anchors on heading commands, Gavin Smith, 2023/01/26