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.

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

[Search Editor] Add commands to delete results #92169

Closed
JacksonKearl opened this issue Mar 6, 2020 · 1 comment
Closed

[Search Editor] Add commands to delete results #92169

JacksonKearl opened this issue Mar 6, 2020 · 1 comment
Assignees
Labels
feature-request Request for new features or functionality search-editor verification-needed Verification of issue is requested verified Verification succeeded
Milestone

Comments

@JacksonKearl
Copy link
Contributor

Currently dismissing results is a bit of a process, it would be nice to have some commands to delete chunks of results in one go.

@JacksonKearl
Copy link
Contributor Author

workbench.action.searchEditor.deleteResultBlock, Cmd+Shift+Backspace.

No command for deleting a single line of results yet, ended up being much more work to figure out when context lines and header lines should be deleted/etc.

@JacksonKearl JacksonKearl added the verification-needed Verification of issue is requested label Mar 30, 2020
@connor4312 connor4312 added the verified Verification succeeded label Apr 1, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Apr 21, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality search-editor verification-needed Verification of issue is requested verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

2 participants