Skip to content

Add category hover navigation - #307

Merged
skhuang merged 2 commits into
mainfrom
ui/category-hover-nav
May 22, 2026
Merged

Add category hover navigation#307
skhuang merged 2 commits into
mainfrom
ui/category-hover-nav

Conversation

@skhuang

@skhuang skhuang commented May 22, 2026

Copy link
Copy Markdown
Owner

Summary

  • Replace the desktop first-level section strip with Overview plus taxonomy category buttons
  • Show each category's section options in a hover/focus dropdown, preserving nav-btn-* selectors inside the menu
  • Update browser tests to navigate through the category hover menu helper

Verification

  • npm run build
  • npm run test:run
  • npm run test:run -- src/tests/sectionTaxonomy.test.js src/tests/urlRouter.test.js
  • npm run test:browser
  • npx playwright test e2e/navigation-state.spec.js e2e/accessibility-navigation.spec.js e2e/mobile-explorer.spec.js
  • Playwright smoke: hover Test Generation lists Symbolic/Concolic/Fuzz/Test Generation/Exploit/SBST and clicking Fuzz opens ?section=fuzz

@skhuang
skhuang merged commit a0a61a3 into main May 22, 2026
3 checks passed
@skhuang
skhuang deleted the ui/category-hover-nav branch May 22, 2026 15:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant