Skip to content

Doc: add "@" shortcut to fuzzy-search and jump to API definitions - #2995

Merged
giampaolo merged 9 commits into
masterfrom
doc-api-symbols
Sep 4, 2026
Merged

Doc: add "@" shortcut to fuzzy-search and jump to API definitions#2995
giampaolo merged 9 commits into
masterfrom
doc-api-symbols

Conversation

@giampaolo

Copy link
Copy Markdown
Owner

Pressing "@" anywhere on the doc site now opens a go-to-definition menu, similar to the one in Sublime Text or VS Code to jump to API definitions (functions, classes, methods, constants).

gotosymbol

@github-actions github-actions Bot added the doc component : docs/ label Sep 4, 2026
@giampaolo
giampaolo merged commit e2736a9 into master Sep 4, 2026
@giampaolo
giampaolo deleted the doc-api-symbols branch September 4, 2026 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

doc component : docs/

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant