New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Removing the space after `%` for quick text search #197028

Merged

andreamah merged 1 commit into main from andreamah/issue191503

Oct 30, 2023

Contributor

andreamah commented Oct 30, 2023


          Quick Search - consider removing the space after % for text search

Fixes #191503

andreamah self-assigned this

VSCodeTriageBot added this to the October 2023 milestone

connor4312 approved these changes

View reviewed changes

andreamah merged commit c1ec0ed into main

7 checks passed

andreamah deleted the andreamah/issue191503 branch

October 30, 2023 22:55

github-actions bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.