Skip to content
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

Adopt go-to-search codicon for quick search #209978

Closed
andreamah opened this issue Apr 9, 2024 · 0 comments · Fixed by #209980
Closed

Adopt go-to-search codicon for quick search #209978

andreamah opened this issue Apr 9, 2024 · 0 comments · Fixed by #209980
Assignees
@andreamah
Labels
feature-request Request for new features or functionality insiders-released Patch has been released in VS Code Insiders search Search widget and operation issues verification-needed Verification of issue is requested verified Verification succeeded
Milestone
April 2024

Comments

@andreamah
Copy link
Contributor

Instead of link-external, we'd like to use go-to-search, which was introduced for this purpose.

image
@andreamah andreamah added feature-request Request for new features or functionality search Search widget and operation issues labels Apr 9, 2024
@andreamah andreamah added this to the April 2024 milestone Apr 9, 2024
@andreamah andreamah self-assigned this Apr 9, 2024
@andreamah andreamah mentioned this issue Apr 9, 2024
Closed
andreamah added a commit that referenced this issue Apr 9, 2024
@andreamah
Adopt go-to-search codicon for quick search
adeb856 
Fixes #209978
@andreamah andreamah mentioned this issue Apr 9, 2024
Merged
andreamah added a commit that referenced this issue Apr 9, 2024
@andreamah
Adopt go-to-search codicon for quick search
675df67 
Fixes #209978
andreamah added a commit that referenced this issue Apr 10, 2024
@andreamah
Adopt go-to-search codicon for quick search (#209980)
353eaad 
Fixes #209978
@VSCodeTriageBot VSCodeTriageBot added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Apr 10, 2024
@andreamah andreamah added the verification-needed Verification of issue is requested label Apr 22, 2024
@benibenj benibenj added the verified Verification succeeded label Apr 23, 2024
@microsoft microsoft locked and limited conversation to collaborators Jun 9, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@andreamah andreamah

Labels
feature-request Request for new features or functionality insiders-released Patch has been released in VS Code Insiders search Search widget and operation issues verification-needed Verification of issue is requested verified Verification succeeded
Projects
None yet
Milestone
April 2024
Development

Successfully merging a pull request may close this issue.

Adopt go-to-search codicon for quick search microsoft/vscode
3 participants
@andreamah @benibenj @VSCodeTriageBot