| From: | Brar Piening <brar(at)gmx(dot)de> |
|---|---|
| To: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> |
| Cc: | Ian Lawrence Barwick <barwick(at)gmail(dot)com>, pgsql-hackers <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: doc: add missing "id" attributes to extension packaging page |
| Date: | 2022-12-06 18:16:51 |
| Message-ID: | d6695820-af71-5e84-58b0-ff9f1c189603@gmx.de |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On 06.12.2022 at 18:59, Brar Piening wrote:
> On 06.12.2022 at 09:38, Alvaro Herrera wrote:
>> I would welcome separate patches: one to add the IDs, another for the
>> XSL/CSS stuff. That allows us to discuss them separately.
>
> I'll send two patches in two separate e-mails in a moment.
This is patch no 2 that adds links to html elements with ids to make
them visible on the HTML surface when hovering the element.
Regards,
Brar
| Attachment | Content-Type | Size |
|---|---|---|
| make_html_ids_discoverable.patch | text/plain | 4.9 KB |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Corey Huinker | 2022-12-06 18:16:59 | Re: Error-safe user functions |
| Previous Message | Andres Freund | 2022-12-06 18:15:33 | Re: pg_upgrade test failure |