headers again - Search results , p.2

2024-07-18 18:03:40 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Jonathan S. Katz)

On 7/18/24 1:59 PM, Daniel Gustafsson wrote: I forgot why we went with the

2024-07-18 18:03:08 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Tom Lane)

Daniel Gustafsson writes: Oh nice --- a precedent! And one that a fair number of

2024-07-18 17:59:53 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Daniel Gustafsson)

pilcrow with a tool-tip ("Link to this heading") when hovering over it -- Daniel Gustafsson

2024-07-18 13:49:05 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Tom Lane)

Daniel Gustafsson writes: I like this suggestion better because that's U+00B6

2024-07-18 09:16:08 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Thu, 18 Jul 2024 at 19:46, Daniel Gustafsson wrote: I think the

2024-07-18 07:46:32 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Daniel Gustafsson)

While not a standard the pilcrow [0] is, AFAICT from a bit of looking at

2024-07-18 07:19:56 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Dean Rasheed)

found it useful. +1 for that and a "Link to this heading" tooltip. Regards, Dean

2024-07-18 06:40:15 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Thu, 18 Jul 2024 at 17:18, Tom Lane wrote: I also find

2024-07-18 05:45:04 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David G. Johnston)

headings should have links makes sense, but we’ve probably got 30% (w.a.g.) of our tables

2024-07-18 05:18:12 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Tom Lane)

header" pop up when you hover over the '#'? That'd improve things a lot even

2024-07-18 05:17:20 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Kashif Zeeshan)

Hi David Thanks for the clarification. Regards Kashif Zeeshan On Thu, Jul 18, 2024 at

2024-07-18 05:07:39 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Thu, 18 Jul 2024 at 16:55, Muhammad Ikram wrote: Those are meant

2024-07-18 05:07:16 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David G. Johnston)

On Wednesday, July 17, 2024, Kashif Zeeshan wrote: There are like thousands of them

2024-07-18 05:06:05 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David G. Johnston)

On Wednesday, July 17, 2024, Muhammad Ikram wrote: That is telling you that this

2024-07-18 05:02:09 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Kashif Zeeshan)

Hi I have checked other pages too and the issue is only with this page