| From: | Daniel Gustafsson <daniel(at)yesql(dot)se> |
|---|---|
| To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
| Cc: | David Rowley <dgrowleyml(at)gmail(dot)com>, Muhammad Ikram <mmikram(at)gmail(dot)com>, pgsql-docs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Date: | 2024-07-18 17:59:53 |
| Message-ID: | 30D9BFAE-A61D-4382-A4A9-7E55082047EC@yesql.se |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
> On 18 Jul 2024, at 15:49, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> Daniel Gustafsson <daniel(at)yesql(dot)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
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Tom Lane | 2024-07-18 18:03:08 | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Previous Message | Tom Lane | 2024-07-18 16:40:09 | Re: Add small detail to RAISE statement descripton |