Add "Copy page" dropdown and Markdown alternate link - #856

Merged

MattiasBuelens merged 5 commits into

mainfrom

devin/1789033579-copy-page-dropdown

Sep 11, 2026

Commits on Sep 10, 2026

feat: add "Copy page" dropdown and Markdown alternate link

devin-ai-integration[bot]
and
MattiasBuelens
committed
9d509bd
fix: align dropdown chevron and popover placement

devin-ai-integration[bot]
and
MattiasBuelens
committed
51426f3
fix: compact menu items with tooltips and pointer cursor

devin-ai-integration[bot]
and
MattiasBuelens
committed
90b07e4
fix: set tooltips on menu item content

devin-ai-integration[bot]
and
MattiasBuelens
committed
e531d69
refactor: memoize excludeRoutes RegExp

devin-ai-integration[bot]
and
MattiasBuelens
committed
17ea0ce