Appreciated. Thanks.
/max
https://about.me/maxandersen
On Thu, Oct 10, 2024 at 16.27 David Lloyd wrote:
> The bug is at https://bugs.openjdk.org/browse/JDK-8341907 - sorry about
> the formatting, I'm not sure how to switch it to "text" mode from "visual"
> mode (it seems like some fields/bug t
On Thu, 10 Oct 2024 16:01:47 GMT, Jonathan Gibbons wrote:
> Just asking: is it publicly documented anywhere that headings go into the
> interactive search?
Good question, I don't think so. I think it could/should be documented in the
spec for the `{@index}` tag, maybe also the Standard Doclet
