headers again - Search results

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

It hasn't been changed, I was hoping to hear more opinions but since there

2024-11-18 22:51:43 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Bruce Momjian)

On Wed, Nov 6, 2024 at 03:58:18PM +0100, Daniel Gustafsson wrote: Uh, has

2024-11-06 22:39:35 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Daniel Gustafsson)

The § in the release notes is for links leading from the page in question, whereas

2024-11-06 22:34:28 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Thu, 7 Nov 2024 at 03:58, Daniel Gustafsson wrote: I see in

2024-11-06 22:31:35 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Thu, 7 Nov 2024 at 02:33, Daniel Gustafsson wrote: Great. Thank you

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

multiple +1's for using a ¶ instead so will fix that. Thanks for the heads-up. -- Daniel Gustafsson

2024-11-06 17:51:53 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Alvaro Herrera)

On 2024-Nov-06, Daniel Gustafsson wrote: Ah, but we kept the #? I thought it

2024-11-06 16:32:50 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Daniel Gustafsson)

Committed, and with some help from Magnus, the docs site has been reloaded with the

2024-10-30 01:39:23 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Daniel Gustafsson)

Agreed, even if not perfect I think this is an improvement. I have a pgweb

2024-10-30 01:36:40 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Wed, 30 Oct 2024 at 03:46, Daniel Gustafsson wrote: My primary motivation

2024-10-29 17:46:42 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Daniel Gustafsson)

Touching the screen without tapping brings up a hover event on iOS, and Android and

2024-10-17 02:24:59 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Thu, 17 Oct 2024 at 11:19, Bruce Momjian wrote: I was hoping

2024-10-17 01:37:32 | A minor bug in doc. Hovering over heading shows # besides it. (David G. Johnston)

On Wednesday, October 16, 2024, Bruce Momjian wrote: We should document what we are

2024-10-17 01:18:59 | Re: A minor bug in doc. Hovering over heading shows # besides it. (Bruce Momjian)

Where are we on this? I still see "#". --------------------------------------------------------------------------- On Mon, Aug 12, 2024 at 02

2024-08-12 02:19:06 | Re: A minor bug in doc. Hovering over heading shows # besides it. (David Rowley)

On Fri, 19 Jul 2024 at 06:03, Jonathan S. Katz wrote: I'm