[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] HTML: Enable generating copiable anchors on heading commands
From: |
Gavin Smith |
Subject: |
Re: [PATCH] HTML: Enable generating copiable anchors on heading commands |
Date: |
Thu, 26 Jan 2023 07:24:40 +0000 |
On Thu, Jan 26, 2023 at 02:42:12AM +0100, Arsen Arsenović wrote:
> * tp/Texinfo/Convert/HTML.pm (_default_format_heading_text): Add
> optional target argument, for generating a copiable pilcrow.
> (_convert_heading_command): Pass the element_id of the current
> heading, so that a pilcrow is generated.
> * tp/tests/customization/list-of-tests: Add
> sectioning_without_anchors test, to check getting existing codegen
> with COPIABLE_LINKS=0.
> ---
> Evening (or night, heh...),
>
> I was given the suggestion of adding copiable anchors to heading
> commands, especially in the middle of pages, so that people can easily
> link to sections. This turned out to be relatively easy, though, it
> (understandably) changed a lot of existing output. The current
> implementation reuses the existing stylesheet logic. An example output
> can be seen in a recent render I made of the GCC manual:
>
> https://www.aarsen.me/~arsen/gcc.html/gcc/html_node/
>
> Thoughts?
I think the output looks good.
Re: [PATCH] HTML: Enable generating copiable anchors on heading commands,
Gavin Smith <=