We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Steps to Reproduce:
=> it would be great if the search result within that next file is selected instead
The text was updated successfully, but these errors were encountered:
00fea43
@roblourens still reproduces I think:
Sorry, something went wrong.
That's not the case I was looking at, but I can fix that too.
6d7bb1a
Better, I filed #48740 as follow up 👍
roblourens
No branches or pull requests
Steps to Reproduce:
=> it would be great if the search result within that next file is selected instead
The text was updated successfully, but these errors were encountered: