Add tools section to Boost library views and templates#2049

Open

julioest wants to merge 8 commits intoboostorg:developfrom

julioest:add-boost-tools-1810

Commits on Dec 29, 2025

Commits on Jan 8, 2026

Adds a "Tools" link next to the category dropdown that scrolls users to the Tools section. Includes tooltip on hover.
julioest
committed

Commits on Jan 12, 2026

Remove "Tools" link and associated tooltip from library preferences template
julioest
committed

Commits on Jan 13, 2026

Remove "Wave" tool entry from the TOOLS constant in constants.py
julioest
committed

Commits on Jan 15, 2026

Update libraries/constants.py

julioest
and
gregjkal
authored
Update libraries/utils.py

julioest
and
gregjkal
authored