Re: A minor bug in doc. Hovering over heading shows # besides it.

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 07:46:32
Message-ID: 5C909F36-9412-4CA0-BC86-43B4632CD17C@yesql.se
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-docs

> On 18 Jul 2024, at 07:18, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:

> Yeah. I've found this new feature useful multiple times already,
> but the '#' icon is as non-mnemonic and unobvious as could possibly
> be. OTOH, I don't know of a standard icon for this feature.

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.

--
Daniel Gustafsson

[0] https://en.wikipedia.org/wiki/Pilcrow

In response to

Responses

Browse pgsql-docs by date

  From Date Subject
Next Message Erki Eessaar 2024-07-18 08:13:44 Privileges to execute ALTER TABLE
Previous Message Dean Rasheed 2024-07-18 07:19:56 Re: A minor bug in doc. Hovering over heading shows # besides it.