From: | Brar Piening <brar(at)gmx(dot)de> |
---|---|
To: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>, Dagfinn Ilmari Mannsåker <ilmari(at)ilmari(dot)org> |
Cc: | Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com>, PostgreSQL Hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org> |
Subject: | Re: Add id's to various elements in protocol.sgml |
Date: | 2022-02-24 16:07:07 |
Message-ID: | 46385386-592d-8548-0037-61458a312203@gmx.de |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
On 24.02.2022 at 16:46, Alvaro Herrera wrote:
> On 2022-Feb-24, Dagfinn Ilmari Mannsåker wrote:
>
>> Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com> writes:
>>> Is there a way to obtain those URLs other than going into the HTML
>>> sources and checking if there is an anchor near where you want go?
>> I use the jump-to-anchor extension: https://github.com/brettz9/jump-to-anchor/
>>
>> Some sites have javascript that adds a link next to the element that
>> becomes visible when hovering, e.g. the NAME and other headings on
>> https://metacpan.org/pod/perl.
> Would it be possible to create such anchor links as part of the XSL
> stylesheets for HTML?
>
Initially I thought that most use cases would involve developers who
would be perfectly capable of extracting the id they need from the html
sources but I agree that making that a bit more comfortable (especially
given the fact that others do that too) seems worthwhile.
I'll investiogate our options and report back.
From | Date | Subject | |
---|---|---|---|
Next Message | Tom Lane | 2022-02-24 16:27:37 | Re: Extract epoch from Interval weird behavior |
Previous Message | Masahiko Sawada | 2022-02-24 15:49:37 | Re: Design of pg_stat_subscription_workers vs pgstats |