Re: A minor bug in doc. Hovering over heading shows # besides it. - Mailing list pgsql-docs

From Daniel Gustafsson
Subject Re: A minor bug in doc. Hovering over heading shows # besides it.
Date
Msg-id 30D9BFAE-A61D-4382-A4A9-7E55082047EC@yesql.se
Whole thread Raw
In response to Re: A minor bug in doc. Hovering over heading shows # besides it.  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: A minor bug in doc. Hovering over heading shows # besides it.
Re: A minor bug in doc. Hovering over heading shows # besides it.
List pgsql-docs
> On 18 Jul 2024, at 15:49, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> Daniel Gustafsson <daniel@yesql.se> writes:
>> While not a standard the pilcrow [0] is, AFAICT from a bit of looking at other
>> docs, commonly used for this.  There is a lot of variability though so
>> whichever we choose it will be wrong one for someone.
>
> I like this suggestion better because that's U+00B6, ie part of
> LATIN-1, so it's *far* more likely to render correctly everywhere
> than U+01F517 is.  We could also consider the section sign §
> (U+00A7).
>
> In any case, a tooltip would help reduce confusion.

Looking a bit closer, the Python documentation does just this, a pilcrow with a
tool-tip ("Link to this heading") when hovering over it

--
Daniel Gustafsson




pgsql-docs by date:

Previous
From: Tom Lane
Date:
Subject: Re: Add small detail to RAISE statement descripton
Next
From: Tom Lane
Date:
Subject: Re: A minor bug in doc. Hovering over heading shows # besides it.