On 13.04.2023 at 10:31, Peter Eisentraut wrote:
> The first patch has been committed.
Yay - thank you!
> The second patch should be sent to pgsql-www for integrating into the
> web site.
Done via [1]. Thanks for the hint.
> Side project: I noticed that these new hover links don't appear in the
> single-page HTML output (make postgres.html), even though the
> generated HTML source code looks correct. Maybe someone has an idea
> there.
I feel responsible for the feature to work for all use cases where it
makes sense. I'll investigate this and post back.
Regards,
Brar
[1]
https://www.postgresql.org/message-id/d987a4a7-62c3-7e0c-860f-1c96fc2117d9%40gmx.de
