On 7/18/24 1:59 PM, Daniel Gustafsson wrote:
On 18 Jul 2024, at 15:49, Tom Lane <t...@sss.pgh.pa.us> wrote:Daniel Gustafsson <dan...@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
I forgot why we went with the "#" and not the (TIL the name) pilcrow symbol, but I'm generally used to seeing the pilcrow when I browse docs and may have voiced that at the time (though the record may show otherwise). So +1 to that.
Thanks, Jonathan
OpenPGP_signature.asc
Description: OpenPGP digital signature
