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

From: David Rowley <dgrowleyml(at)gmail(dot)com>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: 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 06:40:15
Message-ID: CAApHDvrQgZrcw1MQ+w9GiqeAAGK9NGXG7A2+CkP4jy-fLM_CAw@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-docs

On Thu, 18 Jul 2024 at 17: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.

I also find it useful and certainly don't want it to disappear.

There's a unicode character for it.
https://www.unicodepedia.com/unicode/miscellaneous-symbols-and-pictographs/1f517/link-symbol/

David

In response to

Responses

Browse pgsql-docs by date

  From Date Subject
Next Message Dean Rasheed 2024-07-18 07:19:56 Re: A minor bug in doc. Hovering over heading shows # besides it.
Previous Message David G. Johnston 2024-07-18 05:45:04 Re: A minor bug in doc. Hovering over heading shows # besides it.