| From: | Dean Rasheed <dean(dot)a(dot)rasheed(at)gmail(dot)com> |
|---|---|
| To: | David Rowley <dgrowleyml(at)gmail(dot)com> |
| Cc: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, 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:19:56 |
| Message-ID: | CAEZATCWi4K6q_F=HFCAjgXP5BNKVfd1afw6Wng0i+SyO0FkkZg@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
On Thu, 18 Jul 2024 at 07:40, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
>
> 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.
>
+1. I have also already found it useful.
> There's a unicode character for it.
> https://www.unicodepedia.com/unicode/miscellaneous-symbols-and-pictographs/1f517/link-symbol/
>
+1 for that and a "Link to this heading" tooltip.
Regards,
Dean
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Daniel Gustafsson | 2024-07-18 07:46:32 | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Previous Message | David Rowley | 2024-07-18 06:40:15 | Re: A minor bug in doc. Hovering over heading shows # besides it. |