Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Kill ripgrep process when file search is cancelled.
Previously we only cancelled the part of the search that happens in our process, not the actual rg process. Fix #135936
- Loading branch information