fix: re-evaluate side-menu on scroll#1830

Merged

nperez0111 merged 2 commits intomainfrom

hover-side-menu

Jul 11, 2025

Commits on Jul 9, 2025

fix: re-evaluate side-menu on scroll
nperez0111
committed

Commits on Jul 11, 2025

fix: re-use existing handler
nperez0111
committed