Branch: refs/heads/main
Home: https://github.com/pmd/pmd
Commit: 977084be3974b79a954b67f6d47a765e21817488
https://github.com/pmd/pmd/commit/977084be3974b79a954b67f6d47a765e21817488
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/css/customstyles.css
M docs/js/customscripts.js
Log Message:
-----------
[doc] Highlight current header in TOC
This adds a simple scroll spy using the intersection observer api.
It highlights the current header in the TOC and also scrolls the
TOC.
Commit: 559ab681d99e57050eabec00180a83833b9156f2
https://github.com/pmd/pmd/commit/559ab681d99e57050eabec00180a83833b9156f2
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/pages/release_notes.md
Log Message:
-----------
[doc] Update release notes (#6101)
Commit: 688895a10b9e7da9e2771d46d3e0cc7aea37b4e3
https://github.com/pmd/pmd/commit/688895a10b9e7da9e2771d46d3e0cc7aea37b4e3
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/css/customstyles.css
M docs/js/customscripts.js
M docs/pages/release_notes.md
Log Message:
-----------
[doc] Highlight current header in TOC (#6101)
Compare: https://github.com/pmd/pmd/compare/2848e606769d...688895a10b9e
To unsubscribe from these emails, change your notification settings at
https://github.com/pmd/pmd/settings/notifications
_______________________________________________
Pmd-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pmd-commits
