A minor bug in doc. Hovering over heading shows # besides it. - Mailing list pgsql-docs

From David G. Johnston
Subject A minor bug in doc. Hovering over heading shows # besides it.
Date
Msg-id CAKFQuwZ8+2+Ok2+r96jTaxOaUkNMPaANWL74kTsuP-P+z1SU+w@mail.gmail.com
Whole thread Raw
In response to Re: A minor bug in doc. Hovering over heading shows # besides it.  (Bruce Momjian <bruce@momjian.us>)
List pgsql-docs
On Wednesday, October 16, 2024, Bruce Momjian <bruce@momjian.us> wrote:

Where are we on this?  I still see "#".


We should document what we are doing in Conventions.

The hover stuff is a nice usability add, if a bit limited on mobile.

My +1 as well to matching Python with the pilcrow symbol.

David J.

pgsql-docs by date:

Previous
From: Bruce Momjian
Date:
Subject: Re: A minor bug in doc. Hovering over heading shows # besides it.
Next
From: "David G. Johnston"
Date:
Subject: Re: Undocumented optionality of handler_statements