From: Tom Lane <tgl@sss.pgh.pa.us>
To: David Rowley <dgrowleyml@gmail.com>
cc: Muhammad Ikram <mmikram@gmail.com>, pgsql-docs@lists.postgresql.org
Subject: Re: A minor bug in doc. Hovering over heading shows # besides it.
In-reply-to: 
 <CAApHDvq74df8y+_ef1X_EQsurUfqyNPWf-mYfSxbph5Of+4Z0A@mail.gmail.com>
References: 
 <CAGeimVqnkm7X-cXNNXjdGL2u5N29RiFtcpUzPuW1-VYACe6m+Q@mail.gmail.com>
 <CAApHDvq74df8y+_ef1X_EQsurUfqyNPWf-mYfSxbph5Of+4Z0A@mail.gmail.com>
Comments: In-reply-to David Rowley <dgrowleyml@gmail.com>
	message dated "Thu, 18 Jul 2024 17:07:39 +1200"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <3648827.1721279892.1@sss.pgh.pa.us>
Content-Transfer-Encoding: quoted-printable
Date: Thu, 18 Jul 2024 01:18:12 -0400
Message-ID: <3648828.1721279892@sss.pgh.pa.us>
Archived-At: 
 <https://www.postgresql.org/message-id/3648828.1721279892%40sss.pgh.pa.us>
Precedence: bulk

David Rowley <dgrowleyml@gmail.com> writes:
> On Thu, 18 Jul 2024 at 16:55, Muhammad Ikram <mmikram@gmail.com> wrote:
>> when we hover over Table Basics, it shows # sign postfixed. I think it =
needs to be removed

> In [1], there was some talk about using another more suitable
> character. If the purpose of the '#' isn't obvious, then maybe we
> should use something else.

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 wonder if we could make a tooltip worded like "link to this header"
pop up when you hover over the '#'?  That'd improve things a lot
even if we had a better icon.

A different idea is to dispense with the icon and make the section
title itself be a link to itself.

			regards, tom lane