| From: | Maciek Sakrejda <m(dot)sakrejda(at)gmail(dot)com> |
|---|---|
| To: | "Karl O(dot) Pinc" <kop(at)karlpinc(dot)com> |
| Cc: | Peter Eisentraut <peter(dot)eisentraut(at)enterprisedb(dot)com>, Brar Piening <brar(at)gmx(dot)de>, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, vignesh C <vignesh21(at)gmail(dot)com>, 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: | 2023-04-05 22:00:45 |
| Message-ID: | CAOtHd0DmAHW=BvGwXrwWcvF0mPzdWc=yxV-nM3vB9s-ibNHNgw@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
For what it's worth, I think having the anchors be always-visible when
CSS disabled is a feature. The content is still perfectly readable,
and the core feature from this patch is available. Introducing
JavaScript to lose that functionality seems like a step backwards.
By the way, the latest patch attachment was not the full patch series,
which I think confused cfbot: [1] (unless I'm misunderstanding the
state of the patch series).
And thanks for working on this. I've hunted in the page source for ids
to link to a number of times. I look forward to not doing that
anymore.
Thanks,
Maciek
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Peter Smith | 2023-04-05 22:04:52 | Re: Comment typo in recent push |
| Previous Message | Bruce Momjian | 2023-04-05 21:51:15 | Re: Negative cache entries for memoize |