| From: | Bruce Momjian <bruce(at)momjian(dot)us> |
|---|---|
| To: | Daniel Gustafsson <daniel(at)yesql(dot)se> |
| Cc: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>, David Rowley <dgrowleyml(at)gmail(dot)com>, "Jonathan S(dot) Katz" <jkatz(at)postgresql(dot)org>, 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-11-18 19:51:43 |
| Message-ID: | ZzuazxFg-sYwi26z@momjian.us |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
On Wed, Nov 6, 2024 at 03:58:18PM +0100, Daniel Gustafsson wrote:
> > On 6 Nov 2024, at 15:51, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> wrote:
> >
> > On 2024-Nov-06, Daniel Gustafsson wrote:
> >
> >> Committed, and with some help from Magnus, the docs site has been reloaded with
> >> the new CSS. Everything seems to behave as expected when testing in Firefox,
> >> Safari, Chrome and Edge.
> >
> > Ah, but we kept the #? I thought it was going to be changed to ¶ ...
> > was there any voice against that?
>
> You're right, I mistakenly remembered there being no concensus and didn't
> re-read the thread when it was revived with the patch in question. Re-reading
> it now I see multiple +1's for using a ¶ instead so will fix that. Thanks for
> the heads-up.
Uh, has this change been made? I still see "#":
https://www.postgresql.org/docs/devel/tutorial-arch.html
I am actually fine with "#" since that is the symbol that will be added
to the URL.
--
Bruce Momjian <bruce(at)momjian(dot)us> https://momjian.us
EDB https://enterprisedb.com
When a patient asks the doctor, "Am I going to die?", he means
"Am I going to die soon?"
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Bruce Momjian | 2024-11-18 20:40:03 | Re: fir for row level security |
| Previous Message | Egor Rogov | 2024-11-17 08:28:07 | Re: Parallel index build for BRIN |