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
