RFR: 8352511: Show additional level of headings in table of contents [v2]

Fri Mar 21 05:59:15 UTC 2025

On Fri, 21 Mar 2025 05:17:58 GMT, Chen Liang <liach at openjdk.org> wrote:

> Looks good. Since the removal of old push/pop will cause compile errors, I assume you have updated all legacy sites.

This is an internal API that was created specifically for this use and isn't used anywhere else, so we should be fine.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/24137#issuecomment-2742387724