Skip to content

Conversation

@dks333
Copy link
Contributor

@dks333 dks333 commented May 20, 2025

quick fix: instead of opening a new page, open search in the current page

Copy link
Contributor

@dino475 dino475 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Bloody brilliant

LGTM

@dks333 dks333 merged commit 5fe421a into main May 20, 2025
4 checks passed
@dks333 dks333 deleted the sam/open-search-in-docs branch May 20, 2025 19:54
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.

2 participants